Dave is not cold. Dave is green. Dave is not red. Dave is round. Dave is smart. Dave is white. Erin is blue. Erin is green. Erin is red. Erin is not round. Harry is blue. Harry is not cold. Harry is green. Harry is round. Harry is not smart. Harry is white. All smart, green things are round. If something is white and blue then it is round. White things are green. All red, green things are blue. All smart, white things are blue. If something is green and not cold then it is blue. If Harry is smart then Harry is white. If something is green and cold then it is white.
Harry is white.
@0: Dave is green.[(triple2 OR ((triple6) -> rule3))] Dave is not cold.[(triple1)] Dave is not red.[(triple3)] Dave is round.[(triple4 OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple6) -> rule3)) -> rule1) OR ((triple6 ((triple2 triple1) -> rule6)) -> rule2) OR ((triple6 ((triple5 triple6) -> rule5)) -> rule2) OR ((triple6 ((((triple6) -> rule3) triple1) -> rule6)) -> rule2))] Dave is smart.[(triple5)] Dave is white.[(triple6)] Erin is blue.[(triple7 OR ((triple9 triple8) -> rule4))] Erin is green.[(triple8)] Erin is not round.[(triple10)] Erin is red.[(triple9)] Harry is blue.[(triple11 OR ((triple13 triple12) -> rule6) OR ((((triple16) -> rule3) triple12) -> rule6))] Harry is green.[(triple13 OR ((triple16) -> rule3))] Harry is not cold.[(triple12)] Harry is not smart.[(triple15)] Harry is round.[(triple14 OR ((triple16 triple11) -> rule2) OR ((triple16 ((triple13 triple12) -> rule6)) -> rule2) OR ((triple16 ((((triple16) -> rule3) triple12) -> rule6)) -> rule2))] Harry is white.[(triple16)] @1: Dave is blue.[(((triple2 triple1) -> rule6) OR ((triple5 triple6) -> rule5) OR ((((triple6) -> rule3) triple1) -> rule6))]