Reducción indirecta de BoCaRDo a BaRBaRa
A lgunas personas no odian la mentira
Bo
Todo ser racional odia la mentira BaR
Todas las personas son seres racionales Car
Toda persona es un ser racional Ba
Algunos seres racionales no odian la mentira Do
Toda persona odia la mentira
Ra