有名大学教授刚搬到新家，正在向隔壁的邻居Ａ打招呼。
教授：“你好，我是一名大学教授，在教逻辑推理，我刚搬到你旁边，请多指教。”
邻居Ａ：“你好你好！逻辑推理... 那是什么？”
教授：“嗯.. 我举个例子好了，我看到你家后院有个狗屋，所以我推论你有养狗。”
邻居Ａ：“没错。”
教授：“借由你有养狗的事实，我推论你有一个家。”
邻居Ａ：“是的。”
教授：“既然你有个家，我猜想你有个老婆。”
邻居Ａ：“对。”
教授：“因为你有个老婆，所以我可以肯定你是个异性恋。”
邻居Ａ：“全部正确。哇！原来逻辑推理是这么厉害的东西啊！”
（过了几天，邻居Ａ遇到了邻居Ｂ）
邻居Ａ：“欸，我跟刚搬来的那个人聊过了。”
邻居Ｂ：“
哦？是吗？他人怎么样？”
邻居Ａ：“他人感觉不错，是个大学教授，在教逻辑推理。”
邻居Ｂ：“嗯？什么是逻辑推理啊？”
邻居Ａ：“让我举个例子给你瞧瞧，我问你，你有没有狗屋？”
邻居Ｂ：“没有。”
.
.
.
.
.
.
.
.
.
.
邻居Ａ：“OK，你是同性恋。”
邻居Ｂ：“Ａ→Ｂ的等价叙述是非Ｂ→非Ａ，因此从有狗屋→不是同性恋只能推得
是同性恋→没有狗屋，另外有老婆也不能推得是异性恋的事实，例如断背山里的主
角虽然是同性恋但也有老婆，而且现在是多元性别的时代，异性恋的反面并不一定
是同性恋。再来有家也无法推得有老婆的事实，例如我一样有个家，却还是母胎单
身３０年。”
呜呜呜呜呜呜呜呜呜呜呜呜