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