Fiona is red. Fiona is rough. Fiona is round. Furry, red things are green. All green things are not cold. If Fiona is red then Fiona is furry.
Fiona is not green.
@0: Fiona is red.[(triple1)] Fiona is rough.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is furry.[(((triple1) -> rule3))] @2: Fiona is green.[(((((triple1) -> rule3) triple1) -> rule1))] @3: Fiona is not cold.[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]