Anne is furry. Anne is kind. Anne is round. Harry is big. Harry is furry. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is white. If someone is rough then they are red. Round, rough people are red. If someone is big then they are white. All furry, rough people are red. All rough, kind people are round. If Anne is furry then Anne is red. If someone is kind and red then they are rough. If someone is kind and big then they are furry.
Anne is not round.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3 OR ((((triple2 ((triple1) -> rule6)) -> rule7) triple2) -> rule5))] Harry is big.[(triple4)] Harry is furry.[(triple5 OR ((triple6 triple4) -> rule8))] Harry is kind.[(triple6)] Harry is red.[(triple7 OR ((triple8) -> rule1) OR ((triple5 triple8) -> rule4) OR ((triple9 triple8) -> rule2) OR ((((triple6 triple4) -> rule8) triple8) -> rule4) OR ((((triple8 triple6) -> rule5) triple8) -> rule2))] Harry is rough.[(triple8 OR ((triple6 triple7) -> rule7))] Harry is round.[(triple9 OR ((triple8 triple6) -> rule5) OR ((((triple6 triple7) -> rule7) triple6) -> rule5))] Harry is white.[(triple10 OR ((triple4) -> rule3))] @1: Anne is red.[(((triple1) -> rule6))] @2: Anne is rough.[(((triple2 ((triple1) -> rule6)) -> rule7))]