Anne is not red. Charlie is quiet. Erin is big. Gary is big. If someone is green and big then they are blue. If Erin is nice then Erin is quiet. If Anne is nice and Anne is not big then Anne is round. If someone is big then they are quiet. If someone is blue then they are red. Quiet people are nice. If Gary is green and Gary is quiet then Gary is not nice. If someone is big and not quiet then they are not red.
Gary is not blue.