Dave is blue. Erin is green. Erin is smart. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is smart. Harry is blue. Harry is cold. Harry is quiet. Harry is young. All smart, green things are blue. If Erin is big then Erin is blue. All quiet things are big. If Dave is blue and Dave is young then Dave is quiet. All big things are cold. If something is cold then it is smart. If Fiona is not big then Fiona is green. If something is blue and not green then it is young.
Dave is not cold.