Bob is big. Bob is blue. Bob is red. Bob is rough. Bob is round. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is not round. If something is round and red then it is big. If something is red and round then it is big. If Bob is not big then Bob is red. If something is not big and not round then it is green. If something is not red then it is blue. If something is not blue then it is not big.
Bob is not round.