Charlie is rough. Fiona is furry. Gary is blue. Rough, white things are blue. Kind things are blue. If Gary is blue and Gary is round then Gary is furry. All furry, white things are round. Blue things are cold. All cold things are round.
Fiona is blue.
@0: Charlie is rough.[(triple1)] Fiona is furry.[(triple2)] Gary is blue.[(triple3)] @1: Gary is cold.[(((triple3) -> rule5))] @2: Gary is round.[(((((triple3) -> rule5)) -> rule6))] @3: Gary is furry.[(((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule3))]