Dave is quiet. Dave is rough. Dave is round. Dave is smart. Erin is red. Erin is rough. Erin is white. Harry is cold. Harry is round. Harry is smart. If something is rough and quiet then it is cold. If something is white and red then it is quiet. If something is rough then it is white. If something is round then it is rough. If something is rough and white then it is red. If something is red and round then it is white.
Harry is red.
@0: Dave is quiet.[(triple1 OR ((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2) OR ((((triple2) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3) -> rule4)) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2) OR ((((triple2) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((triple2) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3) -> rule4)) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2))] Dave is rough.[(triple2 OR ((triple3) -> rule4))] Dave is round.[(triple3)] Dave is smart.[(triple4)] Erin is red.[(triple5 OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple6) -> rule3)) -> rule5))] Erin is rough.[(triple6)] Erin is white.[(triple7 OR ((triple6) -> rule3))] Harry is cold.[(triple8 OR ((((triple9) -> rule4) ((((((triple9) -> rule4)) -> rule3) ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1))] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Dave is cold.[(((triple2 triple1) -> rule1) OR ((((triple3) -> rule4) triple1) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1))] Dave is white.[(((triple2) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] Erin is quiet.[(((triple7 triple5) -> rule2) OR ((triple7 ((triple6 triple7) -> rule5)) -> rule2) OR ((((triple6) -> rule3) triple5) -> rule2) OR ((((triple6) -> rule3) ((triple6 triple7) -> rule5)) -> rule2) OR ((triple7 ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule2) OR ((((triple6) -> rule3) ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule2))] Harry is rough.[(((triple9) -> rule4))] @2: Dave is red.[(((triple2 ((triple2) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5) OR ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5))] Erin is cold.[(((triple6 ((triple7 triple5) -> rule2)) -> rule1) OR ((triple6 ((triple7 ((triple6 triple7) -> rule5)) -> rule2)) -> rule1) OR ((triple6 ((((triple6) -> rule3) triple5) -> rule2)) -> rule1) OR ((triple6 ((((triple6) -> rule3) ((triple6 triple7) -> rule5)) -> rule2)) -> rule1) OR ((triple6 ((triple7 ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple6 ((((triple6) -> rule3) ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule2)) -> rule1))] Harry is white.[(((((triple9) -> rule4)) -> rule3))] @3: Harry is red.[(((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule5))] @4: Harry is quiet.[(((((((triple9) -> rule4)) -> rule3) ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule5)) -> rule2))]