Charlie is quiet. Gary is quiet. Gary is white. All round people are white. All quiet, kind people are red. All round people are white. Quiet people are green. If Gary is quiet and Gary is red then Gary is big. Green people are kind.
Gary is not red.