Charlie is cold. Charlie is round. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is smart. Fiona is nice. Fiona is round. If something is nice and smart then it is cold. All round, young things are smart. If something is nice then it is smart. All smart, round things are cold. If something is furry and nice then it is red. If Dave is cold then Dave is smart.
Dave is nice.