“推理小说虽然是用自然语言写成的，却和形式系统具有相同的性质。”
文学少女陆秋槎，为探究推理小说的严密性，误闯数学少女韩采芦的寝室，由此展开了一系列思维及身体的大冒险。推理小说的真相，能否像数学定理那样得到无懈可击的证明？困扰数学界三百五十八年的费马大定理，其证明史能否改写成一篇猜凶手谜题？看似条件不足无从推理的案件，又是否能另辟蹊径、直抵真相？最终，她们的友谊又会如何收场？

林远江纵身一跃，结束了自己的生命。
在老师、同学的眼中，我应该是校园中最难过的人。共同参加了校刊征稿后，我和远江的生活有了交集，我们会在午休时一起走向图书室，也会就最近读过的书交流心得。在世人看来，我是她唯一的“朋友”。在她母亲的要求下，我翻开了远江的日记。本以为能在里面找到她自杀的理由，我也的确找到了。然而，那个与事实全然不符的答案，从此彻底改变了我的生活——远江在日记里白纸黑字地控诉着，是我将她逼上了绝路……

雪夜，寂静的校园内有一位穿着单衣的少女独自徘徊，刺骨的寒冷将她包裹，直到她成为一具尸体，继续控诉世间的冷漠。雪地上并没有留下行凶者的脚印，陈尸现场形同密室，案件以自杀告结。
五年过去了，新一任学生会主席冯露葵开始私下调查此事，当事人虽竭力回避，却难免戳痛往日的伤疤。正当调查取得了一些进展之时，校园内却再次发生了雪地密室案……

“从初读《离骚》，到通读屈原的全部作品，结合种种资料的记载来分析，在我看来，屈原的身份并不仅仅是士大夫，同时也是参与楚国国家祭祀的巫女，而且是自幼身着男装直至暮年的巫女。”
天汉元年，初次探访楚地云梦泽的长安豪族之女於陵葵，就以上述观点惊动了曾经执掌楚国国家祭祀的观氏一族。由于家族世代传下来的规矩，身为长女的於陵葵将作为主持家中祭祀的“巫儿”，终生不得出嫁。此番造访，她与观氏家族的幺女观露申一直关系紧张，而突然发生的连续命案，更令露申怀疑，这个外族人就是一切噩梦的源头。究竟谁才是幕后黑手？凶手的动机究竟是与祭祀活动有关，还是与四年前观氏一族的血案有关？赌上家族的名誉，於陵葵决意找出真凶……