Um servidor precisa ir do ponto A ao ponto D. Ele pode escolher um entre três trajetos:
Trajeto 1: A ? B ? D
Trajeto 2: A ? C ? D
Trajeto 3: A ? B ? C ? D

No transcurso da manhã, ele recebe as seguintes informações de trânsito:
Se o trecho A?B estiver lento, então o trecho B?D estará livre.
Se o trecho B?D estiver lento, então o trecho A?C estará livre.
O trecho A?B está lento.
O trecho C?D está lento.

Baseando-se apenas essas informações e a lógica das proposições, qual trajeto necessariamente será o mais rápido?