Anne is quiet. Fiona is not green. If Anne is quiet and Anne is green then Anne is not red. If Fiona is not nice then Fiona is round. All white things are not round. If something is white then it is green. If Fiona is nice and Fiona is quiet then Fiona is blue. Quiet things are white.
Fiona is not red.
@0: Anne is quiet.[(triple1)] Fiona is not green.[(triple2)] @1: Anne is white.[(((triple1) -> rule6))] @2: Anne is green.[(((((triple1) -> rule6)) -> rule4))] Anne is not round.[(((((triple1) -> rule6)) -> rule3))] @3: Anne is not red.[(((triple1 ((((triple1) -> rule6)) -> rule4)) -> rule1))]