Anne is blue. Anne is smart. Anne is not white. Dave is round. Dave is young. Erin is blue. Erin is not cold. Erin is green. Erin is not round. Erin is smart. Erin is white. Erin is not young. Harry is not cold. Harry is not round. Harry is not smart. Harry is not young. Cold, young people are not smart. If Dave is smart then Dave is cold. If Erin is not smart then Erin is white. Green people are not round. All cold, round people are young. All round people are cold.
Dave is cold.