Dave is blue. Dave is cold. Dave is red. Dave is round. Dave is smart. Dave is white. Erin is blue. Erin is quiet. Erin is red. Erin is white. Red things are white. All smart, blue things are cold. All round, smart things are white. Smart, cold things are blue. White, round things are smart. All white things are blue. If something is quiet and white then it is round. If Erin is smart then Erin is round.
Dave is cold.