あの設置等は旨し
fact1: その真剣が状況把握だしその上五言詩註本である fact2: あるものは罪深いとすれば「それは物欲しかないしかつ捜し回らない」ということは成り立たない fact3: もしも「その非常用は取得し易い」ということは正しいとすると「あの設置等は罪深くないが物々交換する」ということは間違いだ fact4: もしもなんらかのものは物欲しいとすると「捜し回らなくて更に緩くない」ということは間違っている fact5: あの中脳水道は嘱託するし緩い fact6: 仮にその非常用は敷設するということはないとしたら「名高くない物であり加えて支給する」ということは偽だ fact7: もしもあの設置等が緩いということはないとすれば詮索する fact8: もしも「なんらかのものは捜し回るということはないし緩くない」ということは成り立つということはないならばそれは旨しない fact9: あの設置等はあっさりしない fact10: もしも「とあるものは名高いということはないけれど支給する」ということは偽ならば取得し易い fact11: この損金は緩い fact12: もし仮に「何らかのものは罪深いということはないけれど物々交換する」ということは誤っているとすればそれは罪深い fact13: 仮にあの設置等が緩くないならばそれは詮索するししかも旨し fact14: あの設置等は詮索する fact15: あの設置等は緩くない fact16: あの設置等はあどけなくない fact17: もしも何かは罪深いとするとそれは物欲しい
fact13 & fact15 -> int1: あの設置等は詮索するし旨し; int1 -> hypothesis;
fact13 & fact15 -> int1: ({AA}{a} & {AB}{a}); int1 -> hypothesis;
この斬奸状は緩くない
fact21 -> int2: もしもあの設置等は罪深いとすれば「物欲しかなくて更に捜し回らない」ということは誤りだ; fact19 -> int3: もし仮に「あの設置等は罪深くないがしかし物々交換する」ということは成り立たないとすればそれは罪深い; fact22 -> int4: もしも「その非常用は名高くないけど支給する」ということは事実と異なるとするとそれは取得し易い;
$facts$ = fact1: その真剣が状況把握だしその上五言詩註本である fact2: あるものは罪深いとすれば「それは物欲しかないしかつ捜し回らない」ということは成り立たない fact3: もしも「その非常用は取得し易い」ということは正しいとすると「あの設置等は罪深くないが物々交換する」ということは間違いだ fact4: もしもなんらかのものは物欲しいとすると「捜し回らなくて更に緩くない」ということは間違っている fact5: あの中脳水道は嘱託するし緩い fact6: 仮にその非常用は敷設するということはないとしたら「名高くない物であり加えて支給する」ということは偽だ fact7: もしもあの設置等が緩いということはないとすれば詮索する fact8: もしも「なんらかのものは捜し回るということはないし緩くない」ということは成り立つということはないならばそれは旨しない fact9: あの設置等はあっさりしない fact10: もしも「とあるものは名高いということはないけれど支給する」ということは偽ならば取得し易い fact11: この損金は緩い fact12: もし仮に「何らかのものは罪深いということはないけれど物々交換する」ということは誤っているとすればそれは罪深い fact13: 仮にあの設置等が緩くないならばそれは詮索するししかも旨し fact14: あの設置等は詮索する fact15: あの設置等は緩くない fact16: あの設置等はあどけなくない fact17: もしも何かは罪深いとするとそれは物欲しい ; $hypothesis$ = あの設置等は旨し ; $proof$ = 
fact13 & fact15 -> int1: あの設置等は詮索するし旨し; int1 -> hypothesis; __PROVED__
事実1: その真剣が状況把握だしその上五言詩註本である
事実2: あるものは罪深いとすれば「それは物欲しかないしかつ捜し回らない」ということは成り立たない
事実3: もしも「その非常用は取得し易い」ということは正しいとすると「あの設置等は罪深くないが物々交換する」ということは間違いだ
事実4: もしもなんらかのものは物欲しいとすると「捜し回らなくて更に緩くない」ということは間違っている
事実5: あの中脳水道は嘱託するし緩い
事実6: 仮にその非常用は敷設するということはないとしたら「名高くない物であり加えて支給する」ということは偽だ
事実7: もしもあの設置等が緩いということはないとすれば詮索する
事実8: もしも「なんらかのものは捜し回るということはないし緩くない」ということは成り立つということはないならばそれは旨しない
事実9: あの設置等はあっさりしない
事実10: もしも「とあるものは名高いということはないけれど支給する」ということは偽ならば取得し易い
事実11: この損金は緩い
事実12: もし仮に「何らかのものは罪深いということはないけれど物々交換する」ということは誤っているとすればそれは罪深い
事実13: 仮にあの設置等が緩くないならばそれは詮索するししかも旨し
事実14: あの設置等は詮索する
事実15: あの設置等は緩くない
事実16: あの設置等はあどけなくない
事実17: もしも何かは罪深いとするとそれは物欲しい

仮説: あの設置等は旨し
1. 事実13と事実15から、推論1: "あの設置等は詮索するし旨し"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。