Anne is furry. Anne is kind. Anne is rough. Dave is kind. Erin is big. Erin is furry. Erin is red. Erin is white. Harry is blue. Harry is rough. Rough, white things are not furry. All blue things are furry. All kind things are big. If Harry is blue and Harry is furry then Harry is rough. Furry things are kind. If Harry is red and Harry is white then Harry is blue.
Anne is not blue.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule5))] Anne is rough.[(triple3)] Dave is kind.[(triple4)] Erin is big.[(triple5 OR ((((triple6) -> rule5)) -> rule3))] Erin is furry.[(triple6)] Erin is red.[(triple7)] Erin is white.[(triple8)] Harry is blue.[(triple9)] Harry is rough.[(triple10 OR ((triple9 ((triple9) -> rule2)) -> rule4))] @1: Anne is big.[(((triple2) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] Dave is big.[(((triple4) -> rule3))] Erin is kind.[(((triple6) -> rule5))] Harry is furry.[(((triple9) -> rule2))] @2: Harry is kind.[(((((triple9) -> rule2)) -> rule5))] @3: Harry is big.[(((((((triple9) -> rule2)) -> rule5)) -> rule3))]