Anne is nice. Anne is quiet. Anne is not white. Dave is young. Harry is nice. Harry is quiet. Harry is not young. If Dave is quiet then Dave is cold. If something is nice then it is smart. If Dave is not big then Dave is nice. Cold things are not white. If something is nice and not white then it is cold. If Dave is big then Dave is not white. If something is quiet then it is smart. If something is not cold then it is smart.
Dave is not cold.