Anne is furry. Dave is red. Fiona is not young. Harry is young. If Fiona is red then Fiona is quiet. Quiet, green things are red. All blue things are not red. All young things are quiet. All blue things are not nice. All furry things are green. If Anne is green then Anne is red. All red things are young.
Fiona is red.
@0: Anne is furry.[(triple1)] Dave is red.[(triple2)] Fiona is not young.[(triple3)] Harry is young.[(triple4)] @1: Anne is green.[(((triple1) -> rule6))] Dave is young.[(((triple2) -> rule8))] Harry is quiet.[(((triple4) -> rule4))] @2: Anne is red.[(((((triple1) -> rule6)) -> rule7))] Dave is quiet.[(((((triple2) -> rule8)) -> rule4))] @3: Anne is young.[(((((((triple1) -> rule6)) -> rule7)) -> rule8))] @4: Anne is quiet.[(((((((((triple1) -> rule6)) -> rule7)) -> rule8)) -> rule4))]