Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Gary is furry. Gary is nice. Gary is red. Gary is rough. If something is kind and nice then it is furry. If something is quiet then it is round. If something is nice then it is round. If something is furry then it is kind. All round things are quiet. Red things are nice. Round, furry things are red. If Charlie is round then Charlie is quiet.
Charlie is not red.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2 OR ((triple4) -> rule6))] Charlie is quiet.[(triple3 OR ((triple6) -> rule5) OR ((triple6) -> rule8) OR ((((triple2) -> rule3)) -> rule5) OR ((((triple2) -> rule3)) -> rule8) OR ((((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((((((triple4) -> rule6)) -> rule3)) -> rule8))] Charlie is red.[(triple4 OR ((triple6 ((triple1 triple2) -> rule1)) -> rule7) OR ((((triple2) -> rule3) ((triple1 triple2) -> rule1)) -> rule7) OR ((((triple3) -> rule2) ((triple1 triple2) -> rule1)) -> rule7))] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple2) -> rule3) OR ((triple3) -> rule2) OR ((((triple4) -> rule6)) -> rule3))] Gary is furry.[(triple7)] Gary is nice.[(triple8 OR ((triple9) -> rule6))] Gary is red.[(triple9 OR ((((triple8) -> rule3) triple7) -> rule7))] Gary is rough.[(triple10)] @1: Charlie is furry.[(((triple1 triple2) -> rule1) OR ((triple1 ((triple4) -> rule6)) -> rule1))] Gary is kind.[(((triple7) -> rule4))] Gary is round.[(((triple8) -> rule3) OR ((((triple9) -> rule6)) -> rule3))] @2: Gary is quiet.[(((((triple8) -> rule3)) -> rule5) OR ((((((triple9) -> rule6)) -> rule3)) -> rule5))]