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.
Anne is young.
@0: Anne is not furry.[(triple1)] Bob is furry.[(triple2)] Bob is white.[(triple3)] @1: Bob is cold.[(((triple3) -> rule2))]