恋と禁忌の述語論理 (講談社文庫)

この作品は、2015年1月に講談社ノベルスとして刊行されました。講談社文庫刊行にあたって加筆修正されています。
雪山の洋館での殺人。犯人は双子のどちらか。なのにいずれが犯人でも矛盾。この不可解な事件を奇蹟の実在を信じる探偵・上苙丞（うえおろじょう）が見事解決ーーと思いきや、癒やし系天才美人学者の硯（すずり）さんは、その推理を「数理論理学」による検証でひっくり返す！！　他にも個性豊かな名探偵たちが続々登場。名探偵を脅かす推理の検証者、誕生！　大ヒットミステリー『その可能性はすでに考えた』はここから始まった！？
それは、「推理」でなく「検証」。
探偵を補完するもう一つの存在・推理の「検証者（ベリファイア）」、見参！
大ヒット『その可能性はすでに考えた』はここから始まった！？
雪山の洋館での殺人。犯人は双子のどちらか。なのにいずれが犯人でも矛盾。
この不可解な事件を奇蹟の実在を信じる探偵・上苙丞（うえおろじょう）が見事解決
ーーと思いきや、癒やし系天才美人学者の硯（すずり）さんは、その推理を「数理論理学」による検証でひっくり返す！！
他にも個性豊かな名探偵たちが続々登場。名探偵を脅かす推理の検証者、誕生！
『その可能性はすでに考えた』『探偵が早すぎる』の
大人気作家・井上真偽のメフィスト賞受賞作、ついに文庫化！