小杨、小袁、小林、小夏四个同学同住一间宿舍。按规定，每晚最迟回宿舍的同学，应当关掉室外的路灯。有一个晚上，他们中间最迟反回宿舍的那个同学，忘记了关路灯。
第二天，宿舍管理员来查谟：谁最迟返回宿舍?
小杨说：“我回来的时候，小林还没有睡。”
小袁说：“我回来的时候，见小夏已经睡了，我也就睡了。”
小林说：“我进门的时候，小袁正好上床睡觉。”
小夏说：“我上床就睡着了，什么也不知道。”
宿舍管理员相信这四位同学讲的都是事实。于是，他迅速判断出他们之中谁是最迟反回宿舍的。
请问：最迟返回宿舍的是谁呢?宿舍管理员是怎样判明了这一点的呢?
《趣味逻辑学》
小林－小杨
小夏－小袁
小夏－小袁－小林－小杨
小杨回来最晚
答案
谁最迟返回宿舍（答案）
要弄清这一点，就要比较他们之间回到宿舍的早迟。而“早于”、迟于”都是两个对象之间存在的一种关系，由它们所形成的判断是关系判断，因而，这里所涉及到的推理是关系推理。什么是关系推理呢?关系推理是根据关系的逻辑性质而进行的一处推理，其前提和结论均 由关系判断组成。由于关系判断中的“关系；主要有两种：对称性关系和传递性关系，因而 ，关系推理也可相应分为对称性前系推理和传递性关系推理两种。
对称性关系推理是根据关系的对称性而进行的一种推理。
比如：
甲=乙，所以，乙=甲。
李白与杜甫同时代，所以，杜甫与李白同时代。
小张与小王是同学，所以，小王与小张是同学。
由于在对称性关系推理中，是由一个前提推出其结论的，所以，这种关系推理也是一种直接 的关系推理。
传递性的关系推理是根据关系的传递性而进行的一种推理。
比如：
甲＞乙，乙＞丙，所以，甲＞丙。
甲＜乙，乙＜丙，所以，甲＜丙。
孔子早于孟子，孟子早于荀子，所以孔子早于荀子。
这些都是传递性的关系推理。由于在这种推理中，其前提至少有两个，所以，也可称之为间接的关系推理。
为了回答本题中提出的问题，我们只要运用这种传递性的关系推理，就能迅速得解了。
我们将他们的回答，分别用关系判断来表示，即为：
小杨：“小杨迟于小林”；
小袁：“小袁迟于小夏”；
小林：“小林迟于小袁”；
小夏：没有直接作出什么关系判断。
由前三个关系判断可知：
1.小杨迟于小林；
2.小杨迟于小袁(按传递性关系推理，既然小杨迟于林小林，而小林又迟于小袁，所以小杨迟于小袁)；
3.小杨迟于小夏(按传递性关系推理，既然小杨迟于小袁，而小袁又迟于小夏)；
小杨既然分别迟于其他三从回到宿舍，所以是最迟返回宿舍的人。
出处：http://www.bjkp.gov.cn/kxbl/sllj/gdnr/3/k1040-03.htm