Anne is furry. Anne is white. Bob is furry. Kind things are red. All kind, white things are furry. If Anne is furry then Anne is rough. All nice things are kind. All nice things are kind. If Anne is white then Anne is red. All rough, kind things are white. All rough, white things are nice.
Bob is not furry.
@0: Anne is furry.[(triple1)] Anne is white.[(triple2)] Bob is furry.[(triple3)] @1: Anne is red.[(((triple2) -> rule6) OR ((((((((triple1) -> rule3) triple2) -> rule8)) -> rule4)) -> rule1) OR ((((((((triple1) -> rule3) triple2) -> rule8)) -> rule5)) -> rule1))] Anne is rough.[(((triple1) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule3) triple2) -> rule8))] @3: Anne is kind.[(((((((triple1) -> rule3) triple2) -> rule8)) -> rule4) OR ((((((triple1) -> rule3) triple2) -> rule8)) -> rule5))]