Anne is not big. Anne is furry. Anne is green. Anne is nice. Anne is red. Anne is round. Anne is white. Harry is big. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is round. Harry is white. All nice people are furry. If someone is big then they are furry. If Anne is red and Anne is not green then Anne is not round. If someone is big then they are white. Big people are red. If Anne is not white then Anne is furry. If Anne is red and Anne is not white then Anne is furry. If Harry is not furry and Harry is not green then Harry is red.
Anne is round.
@0: Anne is furry.[(triple2 OR ((triple4) -> rule1))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not big.[(triple1)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9 OR ((triple11) -> rule1) OR ((triple8) -> rule2))] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12 OR ((triple8) -> rule5))] Harry is round.[(triple13)] Harry is white.[(triple14 OR ((triple8) -> rule4))]