Erin is big. Erin is furry. Erin is green. Erin is quiet. Erin is red. Erin is rough. Erin is young. Harry is big. Harry is green. Harry is quiet. If something is furry and rough then it is big. If something is green and red then it is quiet. Quiet, young things are big. If something is rough then it is green. If something is green then it is quiet. Rough things are green.
Harry is not rough.
@0: Erin is big.[(triple1 OR ((triple2 triple6) -> rule1) OR ((triple4 triple7) -> rule3) OR ((((triple3) -> rule5) triple7) -> rule3) OR ((((triple3 triple5) -> rule2) triple7) -> rule3) OR ((((((triple6) -> rule4)) -> rule5) triple7) -> rule3) OR ((((((triple6) -> rule6)) -> rule5) triple7) -> rule3) OR ((((((triple6) -> rule4) triple5) -> rule2) triple7) -> rule3) OR ((((((triple6) -> rule6) triple5) -> rule2) triple7) -> rule3))] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple6) -> rule4) OR ((triple6) -> rule6))] Erin is quiet.[(triple4 OR ((triple3) -> rule5) OR ((triple3 triple5) -> rule2) OR ((((triple6) -> rule4)) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((((triple6) -> rule4) triple5) -> rule2) OR ((((triple6) -> rule6) triple5) -> rule2))] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10 OR ((triple9) -> rule5))]