“O usuário clica o botão A ou o botão B.” “Se o usuário clica o botão A e a opção X está habilitada, os dados são salvos.” “Se o usuário clica o botão A e a opção X está desabilitada, a execução é interrompida.” “Se o usuário clica o botão B, os dados são salvos, e a execução é interrompida.”
Apartir dessas premissas, é válido concluir que, se a opção X está habilitada e a execução foi interrompida, então o usuário clicou o botão B.