Charlie is blue. Charlie is kind. Charlie is red. Charlie is young. Erin is big. Erin is blue. Erin is green. Gary is big. Gary is blue. Gary is green. Gary is quiet. Gary is red. If something is young then it is kind. If Gary is blue and Gary is red then Gary is green. If something is red and quiet then it is blue.
Erin is not green.