“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.