Bob is blue. Charlie is white. Erin is big. Erin is furry. Erin is quiet. Gary is blue. Gary is quiet. If someone is blue then they are red. Quiet, smart people are not furry. If someone is big and white then they are smart. If Charlie is white and Charlie is smart then Charlie is quiet. If someone is smart and big then they are quiet. All red people are big. White people are red. If someone is not blue and not big then they are red.
Gary is not furry.