Anne is smart. Bob is nice. Charlie is smart. Gary is not nice. If something is smart then it is not green. If something is cold and not rough then it is not white. If Charlie is green and Charlie is nice then Charlie is cold.
Bob is nice.