Anne is big. Anne is green. Anne is rough. Anne is young. Bob is rough. Charlie is not white. Gary is white. If Bob is big and Bob is rough then Bob is furry. If something is rough then it is young. All green, rough things are big. If Bob is green then Bob is rough. All red things are green. All young things are red. Big things are green. All big, white things are rough.
Bob is not green.