Charlie is big. Charlie is not cold. Charlie is kind. Charlie is not smart. Dave is big. Erin is not big. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is not smart. If Dave is not smart and Dave is not green then Dave is kind. If Dave is cold and Dave is green then Dave is not nice. All kind people are red. If someone is not red then they are cold. If someone is big and not kind then they are nice. If someone is not nice then they are big. If someone is smart and not nice then they are cold. If someone is red and not cold then they are not smart.
Dave is not cold.