Anne is quiet. Charlie is kind. Harry is rough. All rough people are furry. If someone is rough then they are quiet. Nice people are quiet. If someone is kind then they are rough. All kind, quiet people are white. If Charlie is big and Charlie is white then Charlie is quiet. Quiet people are furry. If someone is white and big then they are furry.
Anne is not furry.
@0: Anne is quiet.[(triple1)] Charlie is kind.[(triple2)] Harry is rough.[(triple3)] @1: Anne is furry.[(((triple1) -> rule7))] Charlie is rough.[(((triple2) -> rule4))] Harry is furry.[(((triple3) -> rule1) OR ((((triple3) -> rule2)) -> rule7))] Harry is quiet.[(((triple3) -> rule2))] @2: Charlie is furry.[(((((triple2) -> rule4)) -> rule1) OR ((((((triple2) -> rule4)) -> rule2)) -> rule7))] Charlie is quiet.[(((((triple2) -> rule4)) -> rule2))] @3: Charlie is white.[(((triple2 ((((triple2) -> rule4)) -> rule2)) -> rule5))]