Bob is smart. Charlie is green. Dave is smart. Gary is green. If something is white and smart then it is not nice. If Charlie is white then Charlie is green. All red things are round. Smart things are big. If Gary is red then Gary is green. If Bob is white and Bob is smart then Bob is not round. Nice, green things are red. If something is big then it is not white.
Charlie is not green.