Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is quiet. Erin is red. Erin is rough. Harry is big. Harry is furry. Harry is quiet. Harry is red. Harry is rough. Blue, big people are green. If someone is green and big then they are quiet. If Harry is blue and Harry is red then Harry is big. Green, rough people are big. All furry people are blue. If Erin is green and Erin is red then Erin is furry.
Harry is rough.
@0: Erin is big.[(triple1 OR ((triple4 triple7) -> rule4))] Erin is blue.[(triple2 OR ((triple3) -> rule5) OR ((((triple4 triple6) -> rule6)) -> rule5))] Erin is furry.[(triple3 OR ((triple4 triple6) -> rule6) OR ((((triple2 triple1) -> rule1) triple6) -> rule6))] Erin is green.[(triple4 OR ((triple2 triple1) -> rule1) OR ((((triple3) -> rule5) triple1) -> rule1))] Erin is quiet.[(triple5 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple4 triple7) -> rule4)) -> rule2) OR ((((triple2 triple1) -> rule1) triple1) -> rule2) OR ((((triple2 triple1) -> rule1) ((triple4 triple7) -> rule4)) -> rule2) OR ((((((triple3) -> rule5) triple1) -> rule1) triple1) -> rule2) OR ((((((triple3) -> rule5) triple1) -> rule1) ((triple4 triple7) -> rule4)) -> rule2))] Erin is red.[(triple6)] Erin is rough.[(triple7)] Harry is big.[(triple8 OR ((((triple9) -> rule5) triple11) -> rule3))] Harry is furry.[(triple9)] Harry is quiet.[(triple10 OR ((((((triple9) -> rule5) triple8) -> rule1) triple8) -> rule2) OR ((((((triple9) -> rule5) triple8) -> rule1) ((((triple9) -> rule5) triple11) -> rule3)) -> rule2) OR ((((((triple9) -> rule5) ((((triple9) -> rule5) triple11) -> rule3)) -> rule1) triple8) -> rule2) OR ((((((triple9) -> rule5) ((((triple9) -> rule5) triple11) -> rule3)) -> rule1) ((((triple9) -> rule5) triple11) -> rule3)) -> rule2))] Harry is red.[(triple11)] Harry is rough.[(triple12)] @1: Harry is blue.[(((triple9) -> rule5))] @2: Harry is green.[(((((triple9) -> rule5) triple8) -> rule1) OR ((((triple9) -> rule5) ((((triple9) -> rule5) triple11) -> rule3)) -> rule1))]