Anne is big. Anne is furry. Anne is quiet. Anne is red. Charlie is big. Charlie is green. Gary is furry. All big, green people are blue. All furry people are red. All green, quiet people are blue. All green, blue people are big. All kind people are green. All quiet, green people are big. Kind people are red. Red people are blue.
Gary is not furry.