Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is white. Big, kind people are nice. If Harry is round and Harry is kind then Harry is blue. Big people are quiet. All round, big people are white. Quiet people are white. All quiet, nice people are big. All round, blue people are big. Big people are round.
Harry is not big.
@0: Harry is big.[(triple1 OR ((triple5 triple4) -> rule6) OR ((triple6 triple2) -> rule7) OR ((triple6 ((triple6 triple3) -> rule2)) -> rule7))] Harry is blue.[(triple2 OR ((triple6 triple3) -> rule2) OR ((((triple1) -> rule8) triple3) -> rule2) OR ((((((triple5 triple4) -> rule6)) -> rule8) triple3) -> rule2))] Harry is kind.[(triple3)] Harry is nice.[(triple4 OR ((triple1 triple3) -> rule1) OR ((((triple6 triple2) -> rule7) triple3) -> rule1) OR ((((triple6 ((triple6 triple3) -> rule2)) -> rule7) triple3) -> rule1))] Harry is quiet.[(triple5 OR ((triple1) -> rule3) OR ((((triple6 triple2) -> rule7)) -> rule3) OR ((((triple6 ((triple6 triple3) -> rule2)) -> rule7)) -> rule3))] Harry is round.[(triple6 OR ((triple1) -> rule8) OR ((((triple5 triple4) -> rule6)) -> rule8))] Harry is white.[(triple7 OR ((triple5) -> rule5) OR ((triple6 triple1) -> rule4) OR ((((triple1) -> rule3)) -> rule5) OR ((triple6 ((triple5 triple4) -> rule6)) -> rule4) OR ((triple6 ((triple6 triple2) -> rule7)) -> rule4) OR ((((triple1) -> rule8) triple1) -> rule4) OR ((((triple1) -> rule8) ((triple5 triple4) -> rule6)) -> rule4) OR ((((triple1) -> rule8) ((triple6 triple2) -> rule7)) -> rule4) OR ((((((triple6 triple2) -> rule7)) -> rule3)) -> rule5) OR ((triple6 ((triple6 ((triple6 triple3) -> rule2)) -> rule7)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule8) triple1) -> rule4) OR ((((triple1) -> rule8) ((triple6 ((triple6 triple3) -> rule2)) -> rule7)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule8) ((triple5 triple4) -> rule6)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule8) ((triple6 triple2) -> rule7)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule8) ((triple6 ((triple6 triple3) -> rule2)) -> rule7)) -> rule4) OR ((((((triple6 ((triple6 triple3) -> rule2)) -> rule7)) -> rule3)) -> rule5))]