Anne is white. Dave is cold. Dave is not smart. Young people are cold. If someone is cold and smart then they are white.
Dave is not smart.
@0: Anne is white.[(triple1)] Dave is cold.[(triple2)] Dave is not smart.[(triple3)]