Charlie is blue. Charlie is green. Charlie is rough. Rough people are round. Quiet people are round. If Charlie is white and Charlie is blue then Charlie is green. All nice, green people are round. White, rough people are quiet. Quiet, round people are white. All blue, rough people are quiet. If Charlie is nice and Charlie is green then Charlie is quiet.
Charlie is not round.