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