Anne is furry. Anne is red. Bob is big. Erin is big. Erin is round. Erin is young. Harry is nice. Harry is red. Harry is white. Harry is young. If Anne is big and Anne is young then Anne is white. White things are nice. Big things are furry. All furry things are round. If Anne is young and Anne is big then Anne is red. Young, nice things are big.
Anne is not nice.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Bob is big.[(triple3)] Erin is big.[(triple4)] Erin is round.[(triple5 OR ((((triple4) -> rule3)) -> rule4))] Erin is young.[(triple6)] Harry is nice.[(triple7 OR ((triple9) -> rule2))] Harry is red.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Anne is round.[(((triple1) -> rule4))] Bob is furry.[(((triple3) -> rule3))] Erin is furry.[(((triple4) -> rule3))] Harry is big.[(((triple10 triple7) -> rule6) OR ((triple10 ((triple9) -> rule2)) -> rule6))] @2: Bob is round.[(((((triple3) -> rule3)) -> rule4))] Harry is furry.[(((((triple10 triple7) -> rule6)) -> rule3) OR ((((triple10 ((triple9) -> rule2)) -> rule6)) -> rule3))] @3: Harry is round.[(((((((triple10 triple7) -> rule6)) -> rule3)) -> rule4) OR ((((((triple10 ((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule4))]