Bob is big. Bob is blue. Charlie is green. Charlie is round. Gary is big. Gary is furry. Gary is smart. If Bob is blue and Bob is white then Bob is green. If something is big and smart then it is blue.
Charlie is not blue.