Anne is red. Anne is rough. Anne is white. Bob is blue. Bob is furry. Bob is rough. Charlie is blue. Charlie is red. Charlie is rough. Charlie is white. If Bob is young then Bob is white. If Charlie is blue then Charlie is white.
Bob is not white.