Dave is nice. Dave is round. Dave is smart. Erin is round. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is smart. If something is nice and round then it is kind. Smart things are rough. If something is smart then it is rough. If something is green and smart then it is round. Smart, rough things are nice. All round things are smart.
Dave is blue.
@0: Dave is nice.[(triple1 OR ((triple3 ((triple3) -> rule2)) -> rule5) OR ((triple3 ((triple3) -> rule3)) -> rule5) OR ((((triple2) -> rule6) ((triple3) -> rule2)) -> rule5) OR ((((triple2) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((triple3 ((((triple2) -> rule6)) -> rule2)) -> rule5) OR ((triple3 ((((triple2) -> rule6)) -> rule3)) -> rule5) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule2)) -> rule5) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule3)) -> rule5))] Dave is round.[(triple2)] Dave is smart.[(triple3 OR ((triple2) -> rule6))] Erin is round.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6 OR ((triple7 triple9) -> rule1) OR ((triple7 ((triple5 triple10) -> rule4)) -> rule1) OR ((((triple10 triple8) -> rule5) triple9) -> rule1) OR ((((triple10 triple8) -> rule5) ((triple5 triple10) -> rule4)) -> rule1) OR ((((triple10 ((triple10) -> rule2)) -> rule5) triple9) -> rule1) OR ((((triple10 ((triple10) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple9) -> rule6) triple8) -> rule5) triple9) -> rule1) OR ((((triple10 ((triple10) -> rule2)) -> rule5) ((triple5 triple10) -> rule4)) -> rule1) OR ((((triple10 ((triple10) -> rule3)) -> rule5) ((triple5 triple10) -> rule4)) -> rule1) OR ((((((triple9) -> rule6) triple8) -> rule5) ((triple5 triple10) -> rule4)) -> rule1) OR ((((((triple9) -> rule6) ((triple10) -> rule2)) -> rule5) triple9) -> rule1) OR ((((((triple9) -> rule6) ((triple10) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple9) -> rule6) ((triple10) -> rule2)) -> rule5) ((triple5 triple10) -> rule4)) -> rule1) OR ((((((triple9) -> rule6) ((triple10) -> rule3)) -> rule5) ((triple5 triple10) -> rule4)) -> rule1) OR ((((triple10 ((((triple9) -> rule6)) -> rule2)) -> rule5) triple9) -> rule1) OR ((((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule5) triple9) -> rule1) OR ((((triple10 ((((triple9) -> rule6)) -> rule2)) -> rule5) ((triple5 triple10) -> rule4)) -> rule1) OR ((((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule5) ((triple5 triple10) -> rule4)) -> rule1) OR ((((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule2)) -> rule5) triple9) -> rule1) OR ((((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule3)) -> rule5) triple9) -> rule1) OR ((((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule2)) -> rule5) ((triple5 triple10) -> rule4)) -> rule1) OR ((((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule3)) -> rule5) ((triple5 triple10) -> rule4)) -> rule1))] Gary is nice.[(triple7 OR ((triple10 triple8) -> rule5) OR ((triple10 ((triple10) -> rule2)) -> rule5) OR ((triple10 ((triple10) -> rule3)) -> rule5) OR ((((triple9) -> rule6) triple8) -> rule5) OR ((((triple9) -> rule6) ((triple10) -> rule2)) -> rule5) OR ((((triple9) -> rule6) ((triple10) -> rule3)) -> rule5) OR ((triple10 ((((triple9) -> rule6)) -> rule2)) -> rule5) OR ((triple10 ((((triple9) -> rule6)) -> rule3)) -> rule5) OR ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule2)) -> rule5) OR ((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule3)) -> rule5))] Gary is rough.[(triple8 OR ((triple10) -> rule2) OR ((triple10) -> rule3) OR ((((triple9) -> rule6)) -> rule2) OR ((((triple9) -> rule6)) -> rule3))] Gary is round.[(triple9 OR ((triple5 triple10) -> rule4))] Gary is smart.[(triple10 OR ((triple9) -> rule6))] @1: Dave is kind.[(((triple1 triple2) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule5) triple2) -> rule1) OR ((((triple3 ((triple3) -> rule3)) -> rule5) triple2) -> rule1) OR ((((((triple2) -> rule6) ((triple3) -> rule2)) -> rule5) triple2) -> rule1) OR ((((((triple2) -> rule6) ((triple3) -> rule3)) -> rule5) triple2) -> rule1) OR ((((triple3 ((((triple2) -> rule6)) -> rule2)) -> rule5) triple2) -> rule1) OR ((((triple3 ((((triple2) -> rule6)) -> rule3)) -> rule5) triple2) -> rule1) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule2)) -> rule5) triple2) -> rule1) OR ((((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule3)) -> rule5) triple2) -> rule1))] Dave is rough.[(((triple3) -> rule2) OR ((triple3) -> rule3) OR ((((triple2) -> rule6)) -> rule2) OR ((((triple2) -> rule6)) -> rule3))] Erin is smart.[(((triple4) -> rule6))] @2: Erin is rough.[(((((triple4) -> rule6)) -> rule2) OR ((((triple4) -> rule6)) -> rule3))] @3: Erin is nice.[(((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule2)) -> rule5) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule3)) -> rule5))] @4: Erin is kind.[(((((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule2)) -> rule5) triple4) -> rule1) OR ((((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule3)) -> rule5) triple4) -> rule1))]