Bob is not quiet. Charlie is blue. Gary is red. Harry is nice. If someone is red and not nice then they are smart. Smart, red people are round. Quiet people are smart. All quiet, red people are green. If someone is round and smart then they are green. If someone is not red then they are smart. If Bob is smart then Bob is green. If Charlie is quiet and Charlie is not green then Charlie is not red.
Charlie is not nice.