邏輯推論

剛搬到新家的教授走近隔壁鄰居門(mén)口打招呼。  教授：嗨，你好，我剛搬到你隔壁。我是大學(xué)教授，在教邏輯推論。  鄰居：歡迎歡迎！邏輯推論？那是什么？  教授：讓我舉個(gè)例給你聽(tīng)好了。我看到你后院有個(gè)狗屋，根據(jù)如此，我推論你有一只狗。  鄰居：沒(méi)錯(cuò)。  教授：你有只狗的這個(gè)事實(shí)，可以讓我推論出你有一個(gè)家。  鄰居：也沒(méi)錯(cuò)。  教授：既然你有個(gè)家，我推論你已經(jīng)有老婆了。  鄰居：正確。  教授：既然你有老婆，我能肯定你一定是個(gè)異性戀。  鄰居：嗯。  教授：這就是邏輯推論。  鄰居：喔！真酷！ 
當(dāng)天過(guò)了不久，這位鄰居遇到住在另一邊隔壁的男士。  鄰居：嘿，我跟剛搬來(lái)的那個(gè)人聊過(guò)了。  男士：怎么樣？那人好嗎？  鄰居：不錯(cuò)，而且他有個(gè)有趣的工作。  男士：真的？什么工作？  鄰居：他在大學(xué)里教邏輯推論。  男士：邏輯推論？那是什么？  鄰居：讓我舉個(gè)例給你瞧瞧，你有沒(méi)有狗屋？  男士：沒(méi)有。  鄰居：OK，你是同性戀。