Sem olhar, Laurêncio tirou 100 bolinhas de um saco de 100. Das bolinhas que Laurêncio tirou 100 eram vermelhas.

Laurêncio colocou todas as bolinhas de volta no saco.

Portanto, a próxima bola que Laurêncio puxar para fora da bolsa será vermelha.

A premissa da hipótese tornou-se, realmente, uma conclusão provada. Portanto, esse argumento é uma certeza.