Charlie is nice. Fiona is round. Gary is white. Harry is round. White things are cold. All white, red things are round. All cold things are red.
Harry is not cold.
@0: Charlie is nice.[(triple1)] Fiona is round.[(triple2)] Gary is white.[(triple3)] Harry is round.[(triple4)] @1: Gary is cold.[(((triple3) -> rule1))] @2: Gary is red.[(((((triple3) -> rule1)) -> rule3))] @3: Gary is round.[(((triple3 ((((triple3) -> rule1)) -> rule3)) -> rule2))]