Anne is not smart. Dave is cold. Dave is red. If Anne is not smart then Anne is not green. If Anne is rough then Anne is not blue.
Dave is not cold.
@0: Anne is not smart.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3)] @1: Anne is not green.[(((triple1) -> rule1))]