Dave is not blue. Dave is cold. Dave is quiet. Erin is blue. Erin is furry. Erin is green. Erin is quiet. Erin is red. Gary is cold. Gary is quiet. Gary is not red. Gary is smart. Harry is blue. Harry is furry. Harry is green. Harry is smart. If Gary is cold then Gary is blue. Smart people are cold. If Erin is red and Erin is not green then Erin is furry. Blue people are cold. If Harry is furry and Harry is cold then Harry is quiet. If someone is red then they are cold. If Harry is red and Harry is cold then Harry is green. If Harry is not quiet then Harry is blue.
Dave is smart.