Considere que as seguintes informações sejam verdadeiras:

“Se são 18 horas, então o trânsito está engarrafado. Se o trânsito está engarrafado, Pedro não chegará a tempo ao casamento. Se Pedro não chegar a tempo ao casamento, não impedirá Maria de se casar com João. Se Pedro não impedir Maria de se casar com João, então ele ficará triste e João ficará feliz. João não ficou feliz.”

Assinale a informação que é consequência lógica das informações dadas acima: