Anne is not cold. Anne is not furry. Anne is not green. Anne is red. Anne is young. Bob is blue. Bob is cold. Bob is red. Bob is not smart. Dave is furry. Dave is green. Gary is cold. Gary is not green. Gary is red. Gary is smart. If someone is cold then they are young. If someone is not young then they are not cold.
Dave is cold.