Dave is big. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is smart. Erin is big. Erin is nice. Erin is red. Erin is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is not red. Fiona is smart. Fiona is young. All smart, red things are cold. All furry things are smart. All smart, cold things are young. If something is young then it is cold. If Dave is cold then Dave is smart. If Erin is nice and Erin is cold then Erin is furry. If something is not smart then it is nice. If Erin is not big and Erin is not nice then Erin is not red.
Dave is young.