Bob is green. Green, white things are quiet. If Bob is green then Bob is blue. If something is kind then it is nice. All white, kind things are young. All quiet things are nice. All nice, green things are white. Quiet things are green. If Bob is nice and Bob is white then Bob is quiet.
Bob is not nice.