Anne is not big. Anne is blue. Anne is cold. Anne is furry. Anne is round. Anne is smart. Anne is not white. Dave is big. Dave is not cold. Dave is round. Dave is smart. Dave is white. Erin is blue. Erin is cold. Erin is smart. Erin is not white. All cold things are furry. All round, big things are smart. If something is not furry then it is smart.
Dave is cold.