Anne is cold. Anne is nice. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is round. Charlie is smart. Charlie is young. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is young. Erin is furry. Erin is nice. If Anne is cold then Anne is smart. If someone is nice and furry then they are smart. If someone is smart then they are young. All smart people are young. All blue people are round. All cold people are blue. If someone is young then they are cold. If someone is blue then they are furry. Young, blue people are round.
Dave is not blue.