Anne is blue. Bob is not young. Dave is young. All smart, rough people are cold. If someone is rough and smart then they are cold. All young, blue people are not rough. If someone is cold then they are not rough. If Dave is cold then Dave is blue. All white people are not round. All young people are not smart. Rough, round people are smart.
Anne is not blue.
@0: Anne is blue.[(triple1)] Bob is not young.[(triple2)] Dave is young.[(triple3)] @1: Dave is not smart.[(((triple3) -> rule7))]