Anne is big. Anne is furry. Anne is smart. Dave is kind. Dave is red. Dave is rough. Dave is smart. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Gary is cold. Gary is kind. Gary is not smart. If someone is red and smart then they are not cold. If Dave is kind and Dave is not smart then Dave is not cold. Furry people are red. If someone is cold and not big then they are kind. If someone is not rough then they are red. If someone is not rough and not kind then they are red.
Dave is not red.