Acontecerá um mutirão de atendimento médico em Miraí. Sabe-se que se o Dr. Alfa ou Dr. Beta atenderem, então o mutirão é demorado. Se Dr. Ômega atender ao mutirão, então o atendimento não será demorado. Ora, o atendimento não é demorado. Logo, se o atendimento não é demorado