Bob is big. Gary is nice. If something is red and big then it is blue. Red things are rough. All red, rough things are nice. All blue things are young. Nice things are young. Young, blue things are big. If Gary is not red then Gary is not blue. If something is blue and not big then it is rough.
Bob is not big.