Erin is big. Erin is green. Erin is round. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is white. If Harry is big and Harry is kind then Harry is rough. All white, round things are green. If Erin is kind then Erin is white. If something is green and big then it is rough. Big things are kind. If Harry is white then Harry is round. If Erin is round and Erin is rough then Erin is kind. If Harry is kind and Harry is green then Harry is nice.
Erin is round.
@0: Erin is big.[(triple1)] Erin is green.[(triple2 OR ((((((triple1) -> rule5)) -> rule3) triple3) -> rule2))] Erin is round.[(triple3)] Harry is big.[(triple4)] Harry is green.[(triple5 OR ((triple10 triple9) -> rule2) OR ((triple10 ((triple10) -> rule6)) -> rule2))] Harry is kind.[(triple6 OR ((triple4) -> rule5))] Harry is nice.[(triple7 OR ((triple6 triple5) -> rule8) OR ((triple6 ((triple10 triple9) -> rule2)) -> rule8) OR ((((triple4) -> rule5) triple5) -> rule8) OR ((((triple4) -> rule5) ((triple10 triple9) -> rule2)) -> rule8) OR ((triple6 ((triple10 ((triple10) -> rule6)) -> rule2)) -> rule8) OR ((((triple4) -> rule5) ((triple10 ((triple10) -> rule6)) -> rule2)) -> rule8))] Harry is rough.[(triple8 OR ((triple4 triple6) -> rule1) OR ((triple5 triple4) -> rule4) OR ((triple4 ((triple4) -> rule5)) -> rule1) OR ((((triple10 triple9) -> rule2) triple4) -> rule4) OR ((((triple10 ((triple10) -> rule6)) -> rule2) triple4) -> rule4))] Harry is round.[(triple9 OR ((triple10) -> rule6))] Harry is white.[(triple10)] @1: Erin is kind.[(((triple1) -> rule5) OR ((triple3 ((triple2 triple1) -> rule4)) -> rule7))] Erin is rough.[(((triple2 triple1) -> rule4) OR ((((((((triple1) -> rule5)) -> rule3) triple3) -> rule2) triple1) -> rule4))] @2: Erin is white.[(((((triple1) -> rule5)) -> rule3) OR ((((triple3 ((triple2 triple1) -> rule4)) -> rule7)) -> rule3))]