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 not round.
@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))]