Erin is big. Erin is nice. Erin is white. Gary is big. Gary is green. Gary is nice. Gary is quiet. Gary is red. Harry is red. Harry is white. If someone is nice then they are cold. If Gary is green and Gary is nice then Gary is cold. All quiet people are big. If someone is quiet and cold then they are green. If someone is white and red then they are big. If Gary is green and Gary is quiet then Gary is red.
Harry is not green.