Anne is kind. Bob is white. Fiona is cold. Kind things are not cold. If Bob is cold and Bob is not quiet then Bob is not rough. If Anne is not cold then Anne is not white.
Anne is cold.
@0: Anne is kind.[(triple1)] Bob is white.[(triple2)] Fiona is cold.[(triple3)] @1: Anne is not cold.[(((triple1) -> rule1))] @2: Anne is not white.[(((((triple1) -> rule1)) -> rule3))]