Dave is red. Dave is smart. Gary is cold. Gary is quiet. Gary is not red. Gary is rough. Gary is round. Gary is smart. Gary is white. Harry is not cold. Harry is quiet. Harry is not red. Harry is rough. Harry is round. Harry is smart. Harry is white. Rough, red people are white. Smart, cold people are white. Cold, quiet people are rough. Smart people are rough. Smart, round people are quiet. Rough people are quiet. If someone is cold then they are quiet. If Harry is red then Harry is rough.
Dave is not cold.
@0: Dave is red.[(triple1)] Dave is smart.[(triple2)] Gary is cold.[(triple3)] Gary is not red.[(triple5)] Gary is quiet.[(triple4 OR ((triple3) -> rule7) OR ((triple6) -> rule6) OR ((triple8 triple7) -> rule5) OR ((((triple8) -> rule4)) -> rule6))] Gary is rough.[(triple6 OR ((triple8) -> rule4) OR ((triple3 triple4) -> rule3) OR ((triple3 ((triple3) -> rule7)) -> rule3) OR ((triple3 ((triple8 triple7) -> rule5)) -> rule3))] Gary is round.[(triple7)] Gary is smart.[(triple8)] Gary is white.[(triple9 OR ((triple8 triple3) -> rule2))] Harry is not cold.[(triple10)] Harry is not red.[(triple12)] Harry is quiet.[(triple11 OR ((triple13) -> rule6) OR ((triple15 triple14) -> rule5) OR ((((triple15) -> rule4)) -> rule6))] Harry is rough.[(triple13 OR ((triple15) -> rule4))] Harry is round.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Dave is rough.[(((triple2) -> rule4))] @2: Dave is quiet.[(((((triple2) -> rule4)) -> rule6))] Dave is white.[(((((triple2) -> rule4) triple1) -> rule1))]