主角叫御堂葉,瑞佳,瑛子的小說是《天川天音的否定公式》，是作者葉村哲所編寫的二次元、玄學、一見鍾情類小說，書中主要講述了：簡介：
「我是來狩獵那個的。你就一個人逃走吧。」——
有一天，高中生雪道突然被完美無缺的轉學生·天川天音攻擊。救了不知道該如何是好的的雪道的，是天川天音本人。舉著大刀『風鳴』的天音擊退了長得和她一模一樣的敵人【分身】。她說：因為雪道變成了敵人的目標，之後就由我來保護你吧。
世上存在著兩萬零四個『否定公式』。它們是被成為超自然現象，不符合這個世界常理的人造公式。操縱否定公式『鐮鼬』的天音和雪道相遇，繼而開啟了『原本不應該存在』的故事門扉。學院戰鬥動作片始動。
zayaxs.cc 