Charlie is not blue. Charlie is cold. Charlie is furry. Charlie is round. Charlie is white. Gary is not blue. Gary is not cold. Gary is furry. Gary is quiet. Gary is red. Gary is round. Gary is white. If Charlie is quiet then Charlie is not furry.
Charlie is not red.