边的地铺传来，显然睡不着的并不只有这对“表面夫妻”。
红衣女淡淡一笑：“那你更应该早点睡了，梦里什么都有。”
苟岂笑了笑，不再理会。
他返身坐在桌边，沉思良久，一边回忆，一边用手指蘸了茶水，在烛光下写下已知的所有线索：
“1、红衣女：弩矢从窗外左边射出。”
“2、商人：庄主、保镖、刀客、商人四人都没有趁下楼时从走廊窗户处理弩弓。”
“3、刀客：踩到毒钉幸而无恙，抛洒毒钉之人是庄主或保镖。”
“4、庄主：没有提供线索。”
“5、保镖：确定下楼时自己与庄主脚下都没有毒钉。”
“6、外甥：听见自己惨叫却没有回头的人身穿白衣，即刀客或保镖。”
“7、道士：两名杀手都说了谎，其他人都说了实话。”
……
列出七条线索后，苟岂忽然灵光一闪：既然线索复杂，何不采用“穷举法”？
穷举法，顾名思义，就是对所有可能的答案进行检验，找出所有符合条件的情况。
不过，心算估计是来不及了，穷举法的缺点就是运算量比较大，因此这种算法通常应用在程序编写上，用计算机来解决问题。
写程序的话……正好专业对口啊！