Anne is young. Harry is nice. If Harry is quiet and Harry is smart then Harry is nice. Smart, nice people are furry. Nice people are not smart. If Anne is quiet and Anne is young then Anne is big. If Anne is green then Anne is quiet. If someone is young and not furry then they are green. If someone is quiet and furry then they are green. If someone is young then they are green.
Anne is young.
@0: Anne is young.[(triple1)] Harry is nice.[(triple2)] @1: Anne is green.[(((triple1) -> rule8))] Harry is not smart.[(((triple2) -> rule3))] @2: Anne is quiet.[(((((triple1) -> rule8)) -> rule5))] @3: Anne is big.[(((((((triple1) -> rule8)) -> rule5) triple1) -> rule4))]