Anne is not cold. Bob is rough. Dave is not nice. All cold, furry things are not blue. Rough things are furry.
Bob is cold.
@0: Anne is not cold.[(triple1)] Bob is rough.[(triple2)] Dave is not nice.[(triple3)] @1: Bob is furry.[(((triple2) -> rule2))]