Anne is not red. Dave is round. Erin is red. Harry is cold. If something is smart then it is furry. If something is white then it is not cold. If Dave is not smart then Dave is green. All red things are round. All green things are white. If something is red and not round then it is not cold.
Dave is not white.