Anne is cold. Anne is young. Gary is cold. Gary is green. Gary is young. Harry is green. Harry is white. If something is young then it is nice. If something is nice and green then it is white. If Harry is green and Harry is young then Harry is cold. If something is cold then it is smart. Rough things are green. If Harry is rough then Harry is white. All cold, smart things are white. Nice, cold things are rough.
Anne is not green.
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Gary is cold.[(triple3)] Gary is green.[(triple4 OR ((((((triple5) -> rule1) triple3) -> rule8)) -> rule5))] Gary is young.[(triple5)] Harry is green.[(triple6)] Harry is white.[(triple7)] @1: Anne is nice.[(((triple2) -> rule1))] Anne is smart.[(((triple1) -> rule4))] Gary is nice.[(((triple5) -> rule1))] Gary is smart.[(((triple3) -> rule4))] @2: Anne is rough.[(((((triple2) -> rule1) triple1) -> rule8))] Anne is white.[(((triple1 ((triple1) -> rule4)) -> rule7) OR ((((triple2) -> rule1) ((((((triple2) -> rule1) triple1) -> rule8)) -> rule5)) -> rule2))] Gary is rough.[(((((triple5) -> rule1) triple3) -> rule8))] Gary is white.[(((triple3 ((triple3) -> rule4)) -> rule7) OR ((((triple5) -> rule1) triple4) -> rule2) OR ((((triple5) -> rule1) ((((((triple5) -> rule1) triple3) -> rule8)) -> rule5)) -> rule2))] @3: Anne is green.[(((((((triple2) -> rule1) triple1) -> rule8)) -> rule5))]