样违反自然语言直觉的推理蕴涵是真的。类似的，后件为真的任何实质条件陈述都是真的。所以陈述“如果猪接管了农场并谋杀了农民，则巴黎是在法国”是真的。这些有争议的真值推理陈述句出现，是因为自然口语的人经常易受诱惑，而把实质条件和直陈条件或其他条件陈述如反事实条件，混淆在一起了。通过不把条件陈述读做“如果”和“则/那么”可以减轻这种诱惑。最常见的方式是把 "A → B"读做“要么不是情况 formula_27 要么是情况 formula_28（或二者）”，或更简单的“要么 formula_27为假 要么 for