Anne is kind. Bob is furry. Dave is young. Harry is furry. If someone is big then they are kind. All white people are kind. All furry, kind people are white. Furry people are rough. White, young people are furry. Kind people are young.
Anne is kind.
@0: Anne is kind.[(triple1)] Bob is furry.[(triple2)] Dave is young.[(triple3)] Harry is furry.[(triple4)] @1: Anne is young.[(((triple1) -> rule6))] Bob is rough.[(((triple2) -> rule4))] Harry is rough.[(((triple4) -> rule4))]