Anne is furry. Anne is white. Bob is kind. If Anne is round then Anne is nice. If someone is round then they are rough. Quiet, round people are furry. If Bob is white then Bob is furry. If someone is white then they are round. If someone is rough then they are furry. Kind people are nice. If someone is white and quiet then they are rough.
Bob is not round.
@0: Anne is furry.[(triple1 OR ((((((triple2) -> rule5)) -> rule2)) -> rule6))] Anne is white.[(triple2)] Bob is kind.[(triple3)] @1: Anne is round.[(((triple2) -> rule5))] Bob is nice.[(((triple3) -> rule7))] @2: Anne is nice.[(((((triple2) -> rule5)) -> rule1))] Anne is rough.[(((((triple2) -> rule5)) -> rule2))]