Anne is not round. Gary is rough. Harry is young. If something is red and round then it is nice. All rough things are young. If Gary is nice and Gary is rough then Gary is green. Green, young things are not red. If something is rough then it is not round. If something is young and green then it is cold. If something is rough then it is cold. If something is cold then it is green.
Gary is not green.
@0: Anne is not round.[(triple1)] Gary is rough.[(triple2)] Harry is young.[(triple3)] @1: Gary is cold.[(((triple2) -> rule7))] Gary is not round.[(((triple2) -> rule5))] Gary is young.[(((triple2) -> rule2))] @2: Gary is green.[(((((triple2) -> rule7)) -> rule8))] @3: Gary is not red.[(((((((triple2) -> rule7)) -> rule8) ((triple2) -> rule2)) -> rule4))]