Anne is big. Anne is green. Anne is nice. Anne is smart. Bob is blue. Bob is cold. Bob is nice. Bob is round. Bob is smart. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is round. Gary is smart. If Gary is smart then Gary is cold. Round, blue people are green.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Bob is nice.[(triple7)] Bob is round.[(triple8)] Bob is smart.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12 OR ((triple16) -> rule1))] Gary is green.[(triple13 OR ((triple15 triple11) -> rule2))] Gary is nice.[(triple14)] Gary is round.[(triple15)] Gary is smart.[(triple16)] @1: Bob is green.[(((triple8 triple5) -> rule2))]