Anne is big. Anne is green. Anne is white. Bob is big. Charlie is big. Charlie is blue. Charlie is smart. Charlie is white. Fiona is big. Fiona is furry. Big people are blue. Blue, green people are smart. If someone is smart then they are white. All blue, red people are green. If someone is blue and furry then they are red. If Bob is furry and Bob is green then Bob is blue.
Bob is not green.