Fiona is red. Gary is round. Harry is rough. If something is rough then it is big. If something is green and kind then it is red. If Gary is red then Gary is green. Green things are red. If Gary is smart then Gary is rough. Big, rough things are green.
Harry is green.
@0: Fiona is red.[(triple1)] Gary is round.[(triple2)] Harry is rough.[(triple3)] @1: Harry is big.[(((triple3) -> rule1))] @2: Harry is green.[(((((triple3) -> rule1) triple3) -> rule6))] @3: Harry is red.[(((((((triple3) -> rule1) triple3) -> rule6)) -> rule4))]