あの妥協策は再検討でない
fact1: もし仮に下咽頭があるとするとあの妥協策は下咽頭であるか警察グッズでない fact2: もし何かは絶え切れないとすれば「警察グッズでない一方で下咽頭である」ということは成り立たない fact3: 「あの妥協策は掛かり易くない」ということは真実だ fact4: 仮に「あの妥協策は見回さない」ということは成り立つとするとそれは仕返ししなくて標準軌でない fact5: 下咽頭はある fact6: 出し易くないものは質的選択モデルでない fact7: 仮になんらかの物は警察グッズであるということはないとすると絶え切れる fact8: もし仮にあの妥協策が下咽頭だとしたら絶え切れるということはない fact9: あの妥協策は下がり始めない fact10: もし仮に「あの妥協策は絶え切れない」ということは本当ならば掛かり易くなくてまた再検討でない fact11: 仮にあの妥協策が絶え切れないとすると掛かり易いということはない fact12: 仮にこの省がカジュアル化するしさらにそれが絶え切れればこのサーバは絶え切れない fact13: もしあの妥協策が警察グッズでないとすれば絶え切れる fact14: もしもあの妥協策は展開し易いとしたら「それは絶え切れない」ということは真実だ fact15: もしなにかは警察グッズでないとするとそれは絶え切れない
fact15 -> int1: もしもあの妥協策は警察グッズでないなら絶え切れない; fact5 & fact1 -> int2: あの妥協策は下咽頭であるかまたはそれは警察グッズでない; int1 & int2 & fact8 -> int3: あの妥協策は絶え切れない; int3 & fact10 -> int4: あの妥協策は掛かり易くなくてその上再検討でない; int4 -> hypothesis;
あの妥協策は再検討である
fact16 -> int5: 仮にこのサーバは絶え切れるということはないならば「警察グッズでないしそれは下咽頭である」ということは誤りだ;
$facts$ = fact1: もし仮に下咽頭があるとするとあの妥協策は下咽頭であるか警察グッズでない fact2: もし何かは絶え切れないとすれば「警察グッズでない一方で下咽頭である」ということは成り立たない fact3: 「あの妥協策は掛かり易くない」ということは真実だ fact4: 仮に「あの妥協策は見回さない」ということは成り立つとするとそれは仕返ししなくて標準軌でない fact5: 下咽頭はある fact6: 出し易くないものは質的選択モデルでない fact7: 仮になんらかの物は警察グッズであるということはないとすると絶え切れる fact8: もし仮にあの妥協策が下咽頭だとしたら絶え切れるということはない fact9: あの妥協策は下がり始めない fact10: もし仮に「あの妥協策は絶え切れない」ということは本当ならば掛かり易くなくてまた再検討でない fact11: 仮にあの妥協策が絶え切れないとすると掛かり易いということはない fact12: 仮にこの省がカジュアル化するしさらにそれが絶え切れればこのサーバは絶え切れない fact13: もしあの妥協策が警察グッズでないとすれば絶え切れる fact14: もしもあの妥協策は展開し易いとしたら「それは絶え切れない」ということは真実だ fact15: もしなにかは警察グッズでないとするとそれは絶え切れない ; $hypothesis$ = あの妥協策は再検討でない ; $proof$ = 
fact15 -> int1: もしもあの妥協策は警察グッズでないなら絶え切れない; fact5 & fact1 -> int2: あの妥協策は下咽頭であるかまたはそれは警察グッズでない; int1 & int2 & fact8 -> int3: あの妥協策は絶え切れない; int3 & fact10 -> int4: あの妥協策は掛かり易くなくてその上再検討でない; int4 -> hypothesis; __PROVED__
事実1: もし仮に下咽頭があるとするとあの妥協策は下咽頭であるか警察グッズでない
事実2: もし何かは絶え切れないとすれば「警察グッズでない一方で下咽頭である」ということは成り立たない
事実3: 「あの妥協策は掛かり易くない」ということは真実だ
事実4: 仮に「あの妥協策は見回さない」ということは成り立つとするとそれは仕返ししなくて標準軌でない
事実5: 下咽頭はある
事実6: 出し易くないものは質的選択モデルでない
事実7: 仮になんらかの物は警察グッズであるということはないとすると絶え切れる
事実8: もし仮にあの妥協策が下咽頭だとしたら絶え切れるということはない
事実9: あの妥協策は下がり始めない
事実10: もし仮に「あの妥協策は絶え切れない」ということは本当ならば掛かり易くなくてまた再検討でない
事実11: 仮にあの妥協策が絶え切れないとすると掛かり易いということはない
事実12: 仮にこの省がカジュアル化するしさらにそれが絶え切れればこのサーバは絶え切れない
事実13: もしあの妥協策が警察グッズでないとすれば絶え切れる
事実14: もしもあの妥協策は展開し易いとしたら「それは絶え切れない」ということは真実だ
事実15: もしなにかは警察グッズでないとするとそれは絶え切れない

仮説: あの妥協策は再検討でない
1. 事実15から、推論1: "もしもあの妥協策は警察グッズでないなら絶え切れない"が導かれる
2. 事実5と事実1から、推論2: "あの妥協策は下咽頭であるかまたはそれは警察グッズでない"が導かれる
3. 推論1と推論2と事実8から、推論3: "あの妥協策は絶え切れない"が導かれる
4. 推論3と事実10から、推論4: "あの妥協策は掛かり易くなくてその上再検討でない"が導かれる
5. 推論4から、仮説が導かれる

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