Anne is smart. Bob is not rough. Dave is green. If Bob is smart and Bob is green then Bob is not rough. If Bob is not smart then Bob is not rough. If something is rough and not smart then it is nice. Rough things are cold. If Dave is green then Dave is not nice. If Bob is cold then Bob is nice.
Anne is green.
@0: Anne is smart.[(triple1)] Bob is not rough.[(triple2)] Dave is green.[(triple3)] @1: Dave is not nice.[(((triple3) -> rule5))]