Anne is blue. Fiona is red. Red people are rough. All furry, blue people are red. If Fiona is green then Fiona is nice. Rough people are green. Green, rough people are red. Furry, green people are quiet.
Fiona is red.
@0: Anne is blue.[(triple1)] Fiona is red.[(triple2)] @1: Fiona is rough.[(((triple2) -> rule1))] @2: Fiona is green.[(((((triple2) -> rule1)) -> rule4))] @3: Fiona is nice.[(((((((triple2) -> rule1)) -> rule4)) -> rule3))]