Dave is cold. Dave is furry. Dave is green. Dave is red. Dave is not round. Dave is not smart. Dave is young. Erin is cold. Erin is furry. Erin is green. Erin is red. Erin is round. Erin is smart. Erin is young. If something is furry and not red then it is cold. If something is furry and not round then it is green. If something is red and not furry then it is cold. If something is furry and not cold then it is not red. If something is not red and not cold then it is young. If something is red and not young then it is smart.
Dave is not round.