Bob is not red. Dave is green. Harry is quiet. If something is white then it is green. If something is green then it is smart. If something is white and young then it is not red. Red things are not quiet. If Harry is not white then Harry is smart. If something is not white then it is nice. If something is young then it is green. If something is quiet and not nice then it is not red.
Harry is not green.