Anne is blue. Anne is furry. Anne is nice. Anne is red. Anne is round. Anne is white. Anne is young. Harry is blue. Harry is nice. Harry is red. Harry is white. Harry is young. All blue, red things are furry. If something is white and round then it is nice. If something is round then it is blue. If Anne is red and Anne is nice then Anne is white. If something is blue and red then it is round. All red, blue things are furry.
Anne is white.
@0: Anne is blue.[(triple1 OR ((triple5) -> rule3))] Anne is furry.[(triple2 OR ((triple1 triple4) -> rule1) OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple5) -> rule3)) -> rule6) OR ((((triple5) -> rule3) triple4) -> rule1))] Anne is nice.[(triple3 OR ((triple6 triple5) -> rule2) OR ((triple6 ((triple1 triple4) -> rule5)) -> rule2))] Anne is red.[(triple4)] Anne is round.[(triple5 OR ((triple1 triple4) -> rule5))] Anne is white.[(triple6 OR ((triple4 triple3) -> rule4))] Anne is young.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9 OR ((triple11 ((triple8 triple10) -> rule5)) -> rule2))] Harry is red.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Harry is furry.[(((triple10 triple8) -> rule6) OR ((triple8 triple10) -> rule1))] Harry is round.[(((triple8 triple10) -> rule5))]