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