Charlie is blue. Charlie is furry. Charlie is not green. Charlie is rough. Charlie is not round. Charlie is smart. Charlie is not white. Gary is blue. Gary is furry. Gary is green. Gary is not rough. Gary is round. Gary is smart. Gary is white. If Charlie is smart then Charlie is not round. If Charlie is green and Charlie is not round then Charlie is white. If something is blue then it is furry. If something is green and not smart then it is not blue. Rough things are blue. If something is rough and not smart then it is blue. All round things are white. All rough, white things are not green.
Gary is not round.