Bob is red. Gary is round. If Bob is young then Bob is big. Smart things are kind. All young, round things are smart. Kind, round things are blue. Blue, young things are kind. All big, kind things are round. If something is round then it is smart. All smart, blue things are red.
Bob is not round.