Bob is cold. Bob is nice. Bob is smart. Bob is white. Charlie is cold. Charlie is green. Charlie is rough. Red, smart things are green. All cold things are rough. All red things are cold. All rough, white things are cold. Red, cold things are nice. Smart, cold things are nice.
Bob is not green.