Anne is not big. Anne is blue. Anne is cold. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Gary is big. Gary is blue. Gary is not cold. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. All blue things are smart. Cold things are smart. Blue things are smart. If something is quiet and not big then it is blue. If something is nice and not big then it is rough. If Gary is not cold then Gary is quiet. All rough things are nice. If Gary is not rough then Gary is not smart.
Anne is not nice.
@0: Anne is blue.[(triple2 OR ((triple5 triple1) -> rule4))] Anne is cold.[(triple3)] Anne is nice.[(triple4 OR ((triple6) -> rule7))] Anne is not big.[(triple1)] Anne is quiet.[(triple5)] Anne is rough.[(triple6 OR ((triple4 triple1) -> rule5))] Anne is smart.[(triple7 OR ((triple2) -> rule1) OR ((triple2) -> rule3) OR ((triple3) -> rule2) OR ((((triple5 triple1) -> rule4)) -> rule1) OR ((((triple5 triple1) -> rule4)) -> rule3))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is nice.[(triple11 OR ((triple13) -> rule7))] Gary is not cold.[(triple10)] Gary is quiet.[(triple12 OR ((triple10) -> rule6))] Gary is rough.[(triple13)] Gary is smart.[(triple14 OR ((triple9) -> rule1) OR ((triple9) -> rule3))]