Bob is round. Charlie is not green. Harry is not smart. If something is green and white then it is nice. All green things are nice. If Harry is blue and Harry is not red then Harry is green. All smart things are blue. White things are round. If Charlie is smart and Charlie is not blue then Charlie is nice. If something is round and not nice then it is not blue. If something is not nice then it is white.
Charlie is not nice.