Bob is kind. Bob is nice. Bob is white. Blue people are rough. All blue people are furry. If someone is kind and nice then they are furry. All white, blue people are furry. All furry, red people are white. All rough people are furry.
Bob is not rough.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] @1: Bob is furry.[(((triple1 triple2) -> rule3))]