Anne is not big. Anne is furry. Anne is kind. Anne is young. Charlie is big. Charlie is furry. Charlie is kind. If Anne is furry and Anne is round then Anne is young. If something is green and not big then it is young. All furry things are young. If something is green and kind then it is furry. If something is young and big then it is round. If something is rough then it is kind. If Anne is rough then Anne is not green. Round things are green.
Anne is not big.
@0: Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is young.[(triple4 OR ((triple2) -> rule3))] Charlie is big.[(triple5)] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] @1: Charlie is young.[(((triple6) -> rule3))] @2: Charlie is round.[(((((triple6) -> rule3) triple5) -> rule5))] @3: Charlie is green.[(((((((triple6) -> rule3) triple5) -> rule5)) -> rule8))]