A Se o Senado votar a lei A, então não votará a lei B. Se a sessão continuar após meia-noite, então o Senado votará a lei B. Logo, se o Senado não votar a lei A, então a sessão continuará após a meia-noite.
B Se o Senado não votar a lei A, então não votará a lei B. Se a sessão continuar após meia-noite, então o Senado votará a lei B. Logo, se o Senado votar a lei A, então a sessão continuará após a meia-noite.
C Se o Senado votar a lei A, então não votará a lei B. Se a sessão continuar após meia-noite, então o Senado votará a lei B. Logo, se o Senado votar a lei A, então a sessão não continuará após a meia-noite.
D Se o Senado votar a lei A, então não votará a lei B. Se a sessão continuar após meia-noite, então o Senado votará a lei B. Logo, se o Senado não votar a lei A, então a sessão não continuará após a meia-noite.
E Se o Senado não votar a lei A, então não votará a lei B. Se a sessão continuar após meia-noite, então o Senado votará a lei B. Logo, se o Senado não votar a lei A, então a sessão continuará após a meia-noite.