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

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

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