Anne is cold. Anne is furry. Anne is smart. Anne is white. Bob is cold. Bob is young. Dave is cold. Dave is furry. Dave is rough. Dave is smart. Gary is cold. Gary is furry. If Gary is cold then Gary is white. Furry, white things are young. If Dave is red then Dave is rough. All young things are rough. If something is cold then it is white. If Bob is smart and Bob is rough then Bob is white. If something is white then it is cold. Rough things are cold.
Dave is red.