Dave is blue. Dave is kind. Dave is nice. Dave is red. Erin is big. Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is young. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is young. If someone is nice then they are young. If Gary is young then Gary is kind. If someone is big then they are green. If someone is red then they are kind. If someone is big and blue then they are red. If Gary is young and Gary is green then Gary is blue. If someone is kind then they are young. All red people are big.
Erin is not red.