Anne is furry. Anne is quiet. Charlie is big. Charlie is red. Charlie is young. Dave is furry. Gary is young. If something is quiet and big then it is smart. Quiet, white things are big. All young things are quiet. All smart things are not furry. Big things are young. If something is quiet and young then it is white.
Gary is not red.