Anne is kind. Anne is rough. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Erin is nice. Erin is rough. Erin is young. Harry is nice. Harry is young. All young people are white. Nice people are furry. If Erin is kind and Erin is rough then Erin is nice. Rough, nice people are kind. Young people are kind. All blue people are furry.
Anne is nice.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4 OR ((triple3) -> rule6) OR ((triple6) -> rule2))] Charlie is kind.[(triple5 OR ((triple7 triple6) -> rule4))] Charlie is nice.[(triple6)] Charlie is rough.[(triple7)] Erin is nice.[(triple8 OR ((((triple10) -> rule5) triple9) -> rule3))] Erin is rough.[(triple9)] Erin is young.[(triple10)] Harry is nice.[(triple11)] Harry is young.[(triple12)] @1: Erin is furry.[(((triple8) -> rule2) OR ((((((triple10) -> rule5) triple9) -> rule3)) -> rule2))] Erin is kind.[(((triple10) -> rule5) OR ((triple9 triple8) -> rule4))] Erin is white.[(((triple10) -> rule1))] Harry is furry.[(((triple11) -> rule2))] Harry is kind.[(((triple12) -> rule5))] Harry is white.[(((triple12) -> rule1))]