Anne is blue. Anne is cold. Anne is rough. Bob is smart. Gary is cold. Gary is nice. Gary is smart. If someone is smart and nice then they are cold. Quiet people are blue. Rough people are blue. All quiet people are round. If someone is cold and smart then they are blue. Rough people are cold.
Gary is not nice.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule3))] Anne is cold.[(triple2 OR ((triple3) -> rule6))] Anne is rough.[(triple3)] Bob is smart.[(triple4)] Gary is cold.[(triple5 OR ((triple7 triple6) -> rule1))] Gary is nice.[(triple6)] Gary is smart.[(triple7)] @1: Gary is blue.[(((triple5 triple7) -> rule5) OR ((((triple7 triple6) -> rule1) triple7) -> rule5))]