Anne is big. Anne is furry. Anne is kind. Anne is red. Dave is kind. Erin is red. Harry is big. Harry is furry. Harry is kind. Harry is red. All round, kind people are furry. If Anne is kind then Anne is furry.
Dave is not furry.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple3) -> rule2))] Anne is kind.[(triple3)] Anne is red.[(triple4)] Dave is kind.[(triple5)] Erin is red.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is red.[(triple10)]