Anne is round. Gary is red. Harry is green. All green things are blue.
Harry is not green.
@0: Anne is round.[(triple1)] Gary is red.[(triple2)] Harry is green.[(triple3)] @1: Harry is blue.[(((triple3) -> rule1))]