小楊、小袁、小林、小夏四個同學同住一間宿舍。按規定，每晚最遲回宿舍的同學，應當關掉室外的路燈。有一個晚上，他們中間最遲反回宿舍的那個同學，忘記了關路燈。
第二天，宿舍管理員來查謨：誰最遲返回宿舍?
小楊說：“我回來的時候，小林還沒有睡。”
小袁說：“我回來的時候，見小夏已經睡了，我也就睡了。”
小林說：“我進門的時候，小袁正好上床睡覺。”
小夏說：“我上床就睡著了，什么也不知道。”
宿舍管理員相信這四位同學講的都是事實。于是，他迅速判斷出他們之中誰是最遲反回宿舍的。
請問：最遲返回宿舍的是誰呢?宿舍管理員是怎樣判明了這一點的呢?
《趣味邏輯學》
小林－小楊
小夏－小袁
小夏－小袁－小林－小楊
小楊回來最晚
答案
誰最遲返回宿舍（答案）
要弄清這一點，就要比較他們之間回到宿舍的早遲。而“早于”、遲于”都是兩個對象之間存在的一種關系，由它們所形成的判斷是關系判斷，因而，這里所涉及到的推理是關系推理。什么是關系推理呢?關系推理是根據關系的邏輯性質而進行的一處推理，其前提和結論均 由關系判斷組成。由于關系判斷中的“關系；主要有兩種：對稱性關系和傳遞性關系，因而 ，關系推理也可相應分為對稱性前系推理和傳遞性關系推理兩種。
對稱性關系推理是根據關系的對稱性而進行的一種推理。
比如：
甲=乙，所以，乙=甲。
李白與杜甫同時代，所以，杜甫與李白同時代。
小張與小王是同學，所以，小王與小張是同學。
由于在對稱性關系推理中，是由一個前提推出其結論的，所以，這種關系推理也是一種直接 的關系推理。
傳遞性的關系推理是根據關系的傳遞性而進行的一種推理。
比如：
甲＞乙，乙＞丙，所以，甲＞丙。
甲＜乙，乙＜丙，所以，甲＜丙。
孔子早于孟子，孟子早于荀子，所以孔子早于荀子。
這些都是傳遞性的關系推理。由于在這種推理中，其前提至少有兩個，所以，也可稱之為間接的關系推理。
為了回答本題中提出的問題，我們只要運用這種傳遞性的關系推理，就能迅速得解了。
我們將他們的回答，分別用關系判斷來表示，即為：
小楊：“小楊遲于小林”；
小袁：“小袁遲于小夏”；
小林：“小林遲于小袁”；
小夏：沒有直接作出什么關系判斷。
由前三個關系判斷可知：
1.小楊遲于小林；
2.小楊遲于小袁(按傳遞性關系推理，既然小楊遲于林小林，而小林又遲于小袁，所以小楊遲于小袁)；
3.小楊遲于小夏(按傳遞性關系推理，既然小楊遲于小袁，而小袁又遲于小夏)；
小楊既然分別遲于其他三從回到宿舍，所以是最遲返回宿舍的人。
出處：http://www.bjkp.gov.cn/kxbl/sllj/gdnr/3/k1040-03.htm