Se todas as bolas vermelhas são grandes e algumas bolas grandes são pesadas, qual das seguintes afirmações é necessariamente verdadeira?