Fiona is red. If Fiona is young and Fiona is round then Fiona is green. If something is quiet then it is blue. Quiet things are round. If something is red then it is blue. If Fiona is blue then Fiona is green. If something is green then it is young. Round things are nice. All quiet things are round.
Fiona is blue.
@0: Fiona is red.[(triple1)] @1: Fiona is blue.[(((triple1) -> rule4))] @2: Fiona is green.[(((((triple1) -> rule4)) -> rule5))] @3: Fiona is young.[(((((((triple1) -> rule4)) -> rule5)) -> rule6))]