Bob is blue. If Bob is smart then Bob is round. Round things are smart. Quiet, young things are round. If something is blue and quiet then it is smart. If something is young and blue then it is nice. If something is blue and nice then it is big. Blue things are young. All smart things are big.
Bob is not blue.