Um jardineiro deve plantar cinco árvores em um terreno em que não há qualquer árvore. As cinco árvores devem ser escolhidas entre sete diferentes tipos, a saber: A, B, C, D, E, F, G, obedecidas as seguintes condições:

1. não pode ser escolhida mais de uma árvore de um mesmo tipo;

2. deve ser escolhida uma árvore ou do tipo D ou do tipo G, mas não podem ser escolhidas árvores de ambos os tipos;

3. se uma árvore do tipo B for escolhida, então não pode ser escolhida uma árvore do tipo D.

Ora, o jardineiro não escolheu nenhuma árvore do tipo G. Logo, ele também não escolheu nenhuma árvore do tipo: