Bob is big. Gary is big. Nice things are not cold. If something is cold and not blue then it is round. If something is big and red then it is nice. If Gary is not blue then Gary is cold. All smart, cold things are big. If something is big and not round then it is red.
Bob is not big.