Fiona is green. Harry is big. Harry is green. Big, young things are cold. All big things are not rough. All green things are young.
Harry is not green.
@0: Fiona is green.[(triple1)] Harry is big.[(triple2)] Harry is green.[(triple3)] @1: Fiona is young.[(((triple1) -> rule3))] Harry is not rough.[(((triple2) -> rule2))] Harry is young.[(((triple3) -> rule3))] @2: Harry is cold.[(((triple2 ((triple3) -> rule3)) -> rule1))]