Anne is not big. Anne is quiet. Anne is not young. Erin is not big. Erin is green. Harry is furry. Harry is not green. If something is furry then it is quiet. If something is furry then it is quiet. White things are young. If something is white then it is furry. Green things are white. White things are green. If something is white and not big then it is green. If Harry is white then Harry is green.
Anne is not green.
@0: Anne is not big.[(triple1)] Anne is not young.[(triple3)] Anne is quiet.[(triple2)] Erin is green.[(triple5)] Erin is not big.[(triple4)] Harry is furry.[(triple6)] Harry is not green.[(triple7)] @1: Erin is white.[(((triple5) -> rule5))] Harry is quiet.[(((triple6) -> rule1) OR ((triple6) -> rule2))] @2: Erin is furry.[(((((triple5) -> rule5)) -> rule4))] Erin is young.[(((((triple5) -> rule5)) -> rule3))] @3: Erin is quiet.[(((((((triple5) -> rule5)) -> rule4)) -> rule1) OR ((((((triple5) -> rule5)) -> rule4)) -> rule2))]