Bob is furry. Harry is kind. If Harry is kind then Harry is quiet. If something is cold and not red then it is not blue.
Bob is cold.
@0: Bob is furry.[(triple1)] Harry is kind.[(triple2)] @1: Harry is quiet.[(((triple2) -> rule1))]