Bob is white. Harry is white. All blue, cold things are kind. All rough, kind things are furry. If something is cold and rough then it is furry. All rough, cold things are furry. If Harry is white then Harry is red. If something is blue and furry then it is red.
Bob is not kind.
@0: Bob is white.[(triple1)] Harry is white.[(triple2)] @1: Harry is red.[(((triple2) -> rule5))]