Reducción indirecta de BoCaRDo a BaRBaRa
Algún abortista no es creyente Bo
Todo
el que rechaza la doble moral es creyente BaR
Todo abortista rechaza la doble moral CaR
Todo
abortista rechaza la doble moral
Ba
Algunos que rechazan la doble moral no son creyentes Do
Todo abortista es creyente
Ra