Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is red. Red things are furry. All green, blue things are furry. If something is kind then it is furry. Quiet, kind things are furry. Quiet things are cold. If Bob is blue then Bob is green. If Bob is kind and Bob is green then Bob is cold. Green things are kind.
Bob is not green.