Anne is blue. Anne is furry. Anne is not young. Charlie is quiet. Gary is blue. Gary is furry. Gary is round. All furry people are round. Round people are big. Quiet people are not furry. Big people are not quiet. Blue, big people are not young. If Anne is quiet then Anne is young.
Anne is big.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is not young.[(triple3 OR ((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule5))] Charlie is quiet.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is round.[(triple7 OR ((triple6) -> rule1))] @1: Anne is round.[(((triple2) -> rule1))] Charlie is not furry.[(((triple4) -> rule3))] Gary is big.[(((triple7) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] @2: Anne is big.[(((((triple2) -> rule1)) -> rule2))] Gary is not quiet.[(((((triple7) -> rule2)) -> rule4) OR ((((((triple6) -> rule1)) -> rule2)) -> rule4))] Gary is not young.[(((triple5 ((triple7) -> rule2)) -> rule5) OR ((triple5 ((((triple6) -> rule1)) -> rule2)) -> rule5))] @3: Anne is not quiet.[(((((((triple2) -> rule1)) -> rule2)) -> rule4))]