Anne is big. Anne is furry. Anne is red. Bob is white. Erin is kind. Harry is kind. Harry is nice. If something is white then it is furry. If Harry is young and Harry is nice then Harry is red. If Harry is not furry then Harry is young. If something is nice and furry then it is kind. Red things are not nice. If something is furry and white then it is nice.
Erin is not furry.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Bob is white.[(triple4)] Erin is kind.[(triple5)] Harry is kind.[(triple6)] Harry is nice.[(triple7)] @1: Anne is not nice.[(((triple3) -> rule5))] Bob is furry.[(((triple4) -> rule1))] @2: Bob is nice.[(((((triple4) -> rule1) triple4) -> rule6))] @3: Bob is kind.[(((((((triple4) -> rule1) triple4) -> rule6) ((triple4) -> rule1)) -> rule4))]