Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is round. Dave is smart. Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is nice. If Erin is cold then Erin is round. If Erin is green then Erin is round. All round, nice things are smart. If Erin is kind and Erin is smart then Erin is round. Smart, big things are green. If Erin is cold then Erin is nice.
Dave is not cold.