Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is nice. Dave is blue. Dave is green. Dave is kind. Dave is nice. Erin is green. Erin is nice. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. If someone is kind and green then they are red.
Dave is not red.