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.
Gary is 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))]