Anne is blue. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is rough. Erin is blue. Erin is furry. Erin is nice. Erin is rough. Erin is round. If Charlie is nice then Charlie is round. If someone is blue and rough then they are round. If someone is quiet then they are furry. Blue people are furry. Blue people are nice. If someone is blue and furry then they are rough.
Charlie is rough.
@0: Anne is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple2) -> rule4))] Charlie is nice.[(triple4 OR ((triple2) -> rule5))] Charlie is rough.[(triple5 OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple2) -> rule4)) -> rule6))] Erin is blue.[(triple6)] Erin is furry.[(triple7 OR ((triple6) -> rule4))] Erin is nice.[(triple8 OR ((triple6) -> rule5))] Erin is rough.[(triple9 OR ((triple6 triple7) -> rule6) OR ((triple6 ((triple6) -> rule4)) -> rule6))] Erin is round.[(triple10 OR ((triple6 triple9) -> rule2) OR ((triple6 ((triple6 triple7) -> rule6)) -> rule2) OR ((triple6 ((triple6 ((triple6) -> rule4)) -> rule6)) -> rule2))] @1: Anne is furry.[(((triple1) -> rule4))] Anne is nice.[(((triple1) -> rule5))] Charlie is round.[(((triple4) -> rule1) OR ((triple2 triple5) -> rule2) OR ((((triple2) -> rule5)) -> rule1) OR ((triple2 ((triple2 triple3) -> rule6)) -> rule2) OR ((triple2 ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule2))] @2: Anne is rough.[(((triple1 ((triple1) -> rule4)) -> rule6))] @3: Anne is round.[(((triple1 ((triple1 ((triple1) -> rule4)) -> rule6)) -> rule2))]