Charlie is big. Charlie is furry. Charlie is quiet. Gary is big. Gary is not green. Gary is quiet. Gary is not round. If Charlie is round then Charlie is red. If Charlie is red and Charlie is not furry then Charlie is round. If something is not round then it is not green.
Gary is furry.