Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is smart. Charlie is big. Charlie is cold. Charlie is not green. Charlie is red. Charlie is smart. Charlie is not young. Dave is furry. Dave is green. Dave is red. Dave is smart. All green, young things are not big. If something is smart then it is cold. Green, red things are smart. All smart things are furry. All big, young things are not green. If Dave is big and Dave is not red then Dave is young. If something is green and not big then it is smart. If Charlie is furry then Charlie is not green.
Dave is cold.