Anne is furry. Fiona is white. Gary is rough. Harry is white. Rough things are cold. If something is rough and cold then it is green.
Gary is not green.
@0: Anne is furry.[(triple1)] Fiona is white.[(triple2)] Gary is rough.[(triple3)] Harry is white.[(triple4)] @1: Gary is cold.[(((triple3) -> rule1))] @2: Gary is green.[(((triple3 ((triple3) -> rule1)) -> rule2))]