Anne is big. Anne is blue. Anne is nice. Anne is round. Anne is smart. Anne is white. Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is smart. Gary is green. Gary is nice. Gary is round. Gary is smart. Gary is white. If Dave is blue and Dave is green then Dave is white. Blue things are nice. If Anne is big and Anne is green then Anne is white. All white things are nice. If Dave is blue and Dave is green then Dave is nice. If Gary is white and Gary is big then Gary is nice.
Gary is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple3 OR ((triple2) -> rule2) OR ((triple6) -> rule4))] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is nice.[(triple10 OR ((triple8) -> rule2) OR ((triple8 triple9) -> rule5) OR ((((triple8 triple9) -> rule1)) -> rule4))] Dave is smart.[(triple11)] Gary is green.[(triple12)] Gary is nice.[(triple13 OR ((triple16) -> rule4))] Gary is round.[(triple14)] Gary is smart.[(triple15)] Gary is white.[(triple16)] @1: Dave is white.[(((triple8 triple9) -> rule1))]