Anne is blue. Dave is big. Dave is nice. Dave is red. Dave is smart. Dave is white. Gary is green. Gary is red. Gary is smart. Gary is white. Harry is big. Harry is blue. Harry is nice. Harry is red. Harry is smart. If something is green and big then it is white. If something is white then it is green. If something is nice then it is blue.
Gary is not blue.
@0: Anne is blue.[(triple1)] Dave is big.[(triple2)] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Gary is green.[(triple7 OR ((triple10) -> rule2))] Gary is red.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12 OR ((triple13) -> rule3))] Harry is nice.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] @1: Dave is blue.[(((triple3) -> rule3))] Dave is green.[(((triple6) -> rule2))]