Anne is not furry. Bob is furry. Bob is white. If something is round and not kind then it is not green. If something is white then it is cold.
Bob is furry.
@0: Anne is not furry.[(triple1)] Bob is furry.[(triple2)] Bob is white.[(triple3)] @1: Bob is cold.[(((triple3) -> rule2))]