Bob is nice. Bob is rough. Bob is white. If Bob is rough then Bob is nice. All rough, nice things are green. All rough, smart things are quiet. If something is green and rough then it is white. Smart things are nice. If something is rough and quiet then it is big.
Bob is not green.