Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is not round. Charlie is smart. Charlie is white. If Charlie is smart and Charlie is round then Charlie is blue. If someone is not quiet then they are round. If someone is not blue then they are not red.
Charlie is not blue.