Dave is cold. Dave is green. Dave is not kind. Dave is quiet. Dave is red. Dave is round. Dave is smart. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is round. Erin is smart. All green, smart people are red. If someone is not quiet and not green then they are smart.
Dave is not cold.