Anne is furry. Fiona is not furry. Fiona is not rough. If something is quiet then it is young. All quiet, big things are not white. If something is young and furry then it is quiet. If something is young then it is big. If Anne is furry then Anne is young. If something is quiet and not white then it is rough. If something is rough and not furry then it is green. Furry things are not green.
Anne is young.
@0: Anne is furry.[(triple1)] Fiona is not furry.[(triple2)] Fiona is not rough.[(triple3)] @1: Anne is not green.[(((triple1) -> rule8))] Anne is young.[(((triple1) -> rule5))] @2: Anne is big.[(((((triple1) -> rule5)) -> rule4))] Anne is quiet.[(((((triple1) -> rule5) triple1) -> rule3))] @3: Anne is not white.[(((((((triple1) -> rule5) triple1) -> rule3) ((((triple1) -> rule5)) -> rule4)) -> rule2))] @4: Anne is rough.[(((((((triple1) -> rule5) triple1) -> rule3) ((((((triple1) -> rule5) triple1) -> rule3) ((((triple1) -> rule5)) -> rule4)) -> rule2)) -> rule6))]