Anne is round. Gary is big. If someone is round and not green then they are blue. If someone is round and not green then they are big. If someone is quiet and not round then they are big. Big, red people are quiet. All round people are smart. If someone is smart and not green then they are red. All quiet, blue people are red. If someone is red then they are big.
Gary is not quiet.