逻辑推论

刚搬到新家的教授走近隔壁邻居门口打招呼。
教授：嗨，你好，我刚搬到你隔壁。我是大学教授，在教逻辑推论。
邻居：欢迎欢迎！逻辑推论？那是什么？
教授：让我举个例给你听好了。我看到你后院有个狗屋，根据如此，我推论你有一只狗。
邻居：没错。
教授：你有只狗的这个事实，可以让我推论出你有一个家。
邻居：也没错。
教授：既然你有个家，我推论你已经有老婆了。
邻居：正确。
教授：既然你有老婆，我能肯定你一定是个异性恋。
邻居：嗯。
教授：这就是逻辑推论。
邻居：喔！真酷！

当天过了不久，这位邻居遇到住在另一边隔壁的男士。
邻居：嘿，我跟刚搬来的那个人聊过了。
男士：怎么样？那人好吗？
邻居：不错，而且他有个有趣的工作。
男士：真的？什么工作？
邻居：他在大学里教逻辑推论。
男士：逻辑推论？那是什么？
邻居：让我举个例给你瞧瞧，你有没有狗屋？
男士：没有。
邻居：OK，你是同性恋。