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