4否定后件式充分条件假言推理


    如果是凶手，那么，必然是在旅馆里走动不易引起人们注意并且发案时进入过杜克房间的人;米道斯和琼斯不是在旅馆里走动不易引起人们注意并且发案时进入过杜克房间的人;所以，米道斯和琼斯不是凶手(即只有比斯莱、凯姬和霍克才可能是凶手)。


    5否定肯定式选言推理


    菸头要么是杜克所留，要么是他的朋友所留，要么是罪犯所留;现已查明，不可能是杜克所留，因为他抽的是国会牌香菸，他也没有朋友;所以。菸头是罪犯所留。


    6否定后件式充分条件假言推理


    如果是不抽自卷纸菸的人，就不是凶手;比斯莱和凯姬是不抽自卷纸菸的人;所以，比斯莱和凯姬不是凶手。


    现场勘查取得的指纹，经鑑定，和霍克的指纹完全一致，冒克是凶手的结论就得到了最后的证明。这是一个肯定后件式充要条件假言推理：若且唯若霍克是作案者，现场的指纹与他的指纹才会完全一致;经查，现场指纹与他的指纹完全一致。


    所以，霍克是作案者。


    探长巴洛的思维真是细緻严密，令人佩服。