Bob is blue. Dave is green. Erin is not kind. Fiona is blue. All nice people are green. If someone is not blue and not furry then they are cold. If someone is big and not kind then they are nice. If Erin is not furry then Erin is big. If someone is kind and not furry then they are not blue. If someone is not cold then they are nice.
Dave is not cold.