Anne is green. Fiona is rough. If Fiona is rough and Fiona is cold then Fiona is green. If something is cold then it is red. If something is smart then it is green. Rough things are cold. If something is smart then it is young. Red things are young.
Fiona is not green.
@0: Anne is green.[(triple1)] Fiona is rough.[(triple2)] @1: Fiona is cold.[(((triple2) -> rule4))] @2: Fiona is green.[(((triple2 ((triple2) -> rule4)) -> rule1))] Fiona is red.[(((((triple2) -> rule4)) -> rule2))] @3: Fiona is young.[(((((((triple2) -> rule4)) -> rule2)) -> rule6))]