Anne is cold. Anne is kind. Anne is nice. Anne is smart. Anne is white. Bob is big. Bob is cold. Bob is nice. Bob is quiet. Bob is white. Gary is big. Gary is cold. Gary is kind. Gary is smart. Gary is white. If something is quiet then it is smart. If something is nice and white then it is big. If something is big then it is quiet.
Gary is not nice.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4 OR ((((((triple3 triple5) -> rule2)) -> rule3)) -> rule1))] Anne is white.[(triple5)] Bob is big.[(triple6 OR ((triple8 triple10) -> rule2))] Bob is cold.[(triple7)] Bob is nice.[(triple8)] Bob is quiet.[(triple9 OR ((triple6) -> rule3) OR ((((triple8 triple10) -> rule2)) -> rule3))] Bob is white.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is kind.[(triple13)] Gary is smart.[(triple14 OR ((((triple11) -> rule3)) -> rule1))] Gary is white.[(triple15)] @1: Anne is big.[(((triple3 triple5) -> rule2))] Bob is smart.[(((triple9) -> rule1) OR ((((triple6) -> rule3)) -> rule1) OR ((((((triple8 triple10) -> rule2)) -> rule3)) -> rule1))] Gary is quiet.[(((triple11) -> rule3))] @2: Anne is quiet.[(((((triple3 triple5) -> rule2)) -> rule3))]