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