Dave is cold. Dave is furry. Dave is green. Dave is not nice. Dave is red. Dave is rough. Dave is white. Erin is cold. Erin is nice. Erin is not rough. Gary is not cold. Gary is not furry. Gary is green. Gary is rough. Gary is not white. If something is red and not green then it is white. If something is rough and white then it is not nice.
Dave is not white.