Bob is cold. Charlie is furry. Dave is white. Harry is red. If something is red then it is furry. All furry things are green. All white things are big. If something is green then it is white. If something is red then it is not cold. If something is white and not big then it is cold.
Bob is not green.