Anne is red. Fiona is young. Harry is not red. If something is red then it is blue. Big things are not green. If something is young and not red then it is not quiet. If something is red and not young then it is quiet. Blue, young things are not quiet. All red things are big. If Fiona is furry then Fiona is blue. If Harry is not quiet and Harry is not red then Harry is green.
Anne is not green.
@0: Anne is red.[(triple1)] Fiona is young.[(triple2)] Harry is not red.[(triple3)] @1: Anne is big.[(((triple1) -> rule6))] Anne is blue.[(((triple1) -> rule1))] @2: Anne is not green.[(((((triple1) -> rule6)) -> rule2))]