Bob is big. Dave is big. Erin is blue. Erin is not green. Erin is kind. Erin is quiet. Erin is red. Erin is white. Gary is big. Gary is kind. Gary is quiet. Gary is red. All big, blue people are red. If Erin is not white then Erin is green.
Gary is green.