Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is red. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is rough. All green, quiet things are smart. All red, smart things are cold. If Harry is red and Harry is green then Harry is rough.
Dave is not smart.
@0: Dave is cold.[(triple1 OR ((triple5 ((triple2 triple4) -> rule1)) -> rule2))] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Gary is cold.[(triple6 OR ((triple10 ((triple7 triple9) -> rule1)) -> rule2))] Gary is green.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15)] Harry is rough.[(triple16 OR ((triple15 triple13) -> rule3))] @1: Dave is smart.[(((triple2 triple4) -> rule1))] Gary is smart.[(((triple7 triple9) -> rule1))]