Fiona is red. Fiona is white. Gary is green. If Fiona is green and Fiona is red then Fiona is furry. All blue things are green. All white things are green.
Fiona is green.
@0: Fiona is red.[(triple1)] Fiona is white.[(triple2)] Gary is green.[(triple3)] @1: Fiona is green.[(((triple2) -> rule3))] @2: Fiona is furry.[(((((triple2) -> rule3) triple1) -> rule1))]