あの昆布問屋は発売時価格である
fact1: もしあの請求期間は備えないならば「このイギリス空軍は申し訳無くなくて更に備えない」ということは間違っている fact2: 「このイギリス空軍は申し訳無いが備えない」ということは嘘だ fact3: 「「申し訳無くなくて備えない」ということは偽な」ものはある fact4: この握力は共晶組織である fact5: 「この握力は知り合いらしいかデスクであるかあるいはどちらもである」ということは間違いだとしたら敵機動部隊だ fact6: あの請求期間は備えるし御座所ならば「この握力はデスクでない」ということは事実である fact7: 仮にあの請求期間は備えないならば「このイギリス空軍は申し訳無いけれどそれは備えない」ということは間違っている fact8: 「このイギリス空軍は申し訳無くなくてデスクだということはない」ということは成り立たない fact9: あの請求期間は自由経済である fact10: あの約二十万人は半年間である fact11: もし「なにがしかのものは御座所でないけどそれは発売時価格である」ということは間違っていれば「発売時価格でない」ということは成り立つ fact12: 仮にこのイギリス空軍が申し訳無いとしたらあの昆布問屋は発売時価格である fact13: この握力は知り合いらしい fact14: この握力は共晶組織でその上御座所だ fact15: あの約二十万人が半年間であるとするとこの握力は知り合いらしい fact16: この握力は半年間でない fact17: 仮に「何かは発売時価格でないかまたは備えるかまたは両方である」ということは誤っているとするとそれは共晶組織だ fact18: もし仮に「このイギリス空軍は申し訳無くなくてそれに備えるということはない」ということは成り立つということはないならあの昆布問屋は発売時価格である fact19: 仮にあの約二十万人は半年間であるとしたら「この握力は知り合いらしくないかもしくはデスクである」ということは成り立つということはない fact20: 「仮に「なにがしかの物は知り合いらしくないかあるいはそれはデスクだ」ということは本当でないとしたらそれは敵機動部隊である」ということは事実と異ならない fact21: 「あの昆布問屋は敵機動部隊でないしその上発売時価格だということはない」ということは間違っている fact22: もしこの握力が敵機動部隊だしそれが御座所であるとすればあの請求期間は備えない fact23: もしもこのイギリス空軍が発売時価格であるしかつ備えるとするとあの昆布問屋は共晶組織でない fact24: 仮に「とあるものは知り合いらしいかあるいはデスクである」ということは間違いであるならばそれは敵機動部隊である fact25: 仮に「「申し訳無いということはないし備えない」ということは誤りである」物があるとしたらあの状況報告は補助する
fact20 -> int1: もし「この握力は知り合いらしくないかまたはそれはデスクだ」ということは成り立たないならそれは敵機動部隊だ; fact19 & fact10 -> int2: 「この握力は知り合いらしくないかまたはデスクであるかあるいは両方である」ということは成り立たない; int1 & int2 -> int3: この握力は敵機動部隊だ; fact14 -> int4: この握力は御座所だ; int3 & int4 -> int5: この握力は敵機動部隊であるしそれに御座所である; int5 & fact22 -> int6: あの請求期間は備えない; int6 & fact1 -> int7: 「このイギリス空軍は申し訳無いということはないしその上備えない」ということは偽だ; int7 & fact18 -> hypothesis;
あの昆布問屋は発売時価格でない
fact26 -> int8: 仮に「あの昆布問屋は御座所でないけれど発売時価格である」ということは間違っているなら発売時価格だということはない;
$facts$ = fact1: もしあの請求期間は備えないならば「このイギリス空軍は申し訳無くなくて更に備えない」ということは間違っている fact2: 「このイギリス空軍は申し訳無いが備えない」ということは嘘だ fact3: 「「申し訳無くなくて備えない」ということは偽な」ものはある fact4: この握力は共晶組織である fact5: 「この握力は知り合いらしいかデスクであるかあるいはどちらもである」ということは間違いだとしたら敵機動部隊だ fact6: あの請求期間は備えるし御座所ならば「この握力はデスクでない」ということは事実である fact7: 仮にあの請求期間は備えないならば「このイギリス空軍は申し訳無いけれどそれは備えない」ということは間違っている fact8: 「このイギリス空軍は申し訳無くなくてデスクだということはない」ということは成り立たない fact9: あの請求期間は自由経済である fact10: あの約二十万人は半年間である fact11: もし「なにがしかのものは御座所でないけどそれは発売時価格である」ということは間違っていれば「発売時価格でない」ということは成り立つ fact12: 仮にこのイギリス空軍が申し訳無いとしたらあの昆布問屋は発売時価格である fact13: この握力は知り合いらしい fact14: この握力は共晶組織でその上御座所だ fact15: あの約二十万人が半年間であるとするとこの握力は知り合いらしい fact16: この握力は半年間でない fact17: 仮に「何かは発売時価格でないかまたは備えるかまたは両方である」ということは誤っているとするとそれは共晶組織だ fact18: もし仮に「このイギリス空軍は申し訳無くなくてそれに備えるということはない」ということは成り立つということはないならあの昆布問屋は発売時価格である fact19: 仮にあの約二十万人は半年間であるとしたら「この握力は知り合いらしくないかもしくはデスクである」ということは成り立つということはない fact20: 「仮に「なにがしかの物は知り合いらしくないかあるいはそれはデスクだ」ということは本当でないとしたらそれは敵機動部隊である」ということは事実と異ならない fact21: 「あの昆布問屋は敵機動部隊でないしその上発売時価格だということはない」ということは間違っている fact22: もしこの握力が敵機動部隊だしそれが御座所であるとすればあの請求期間は備えない fact23: もしもこのイギリス空軍が発売時価格であるしかつ備えるとするとあの昆布問屋は共晶組織でない fact24: 仮に「とあるものは知り合いらしいかあるいはデスクである」ということは間違いであるならばそれは敵機動部隊である fact25: 仮に「「申し訳無いということはないし備えない」ということは誤りである」物があるとしたらあの状況報告は補助する ; $hypothesis$ = あの昆布問屋は発売時価格である ; $proof$ = 
fact20 -> int1: もし「この握力は知り合いらしくないかまたはそれはデスクだ」ということは成り立たないならそれは敵機動部隊だ; fact19 & fact10 -> int2: 「この握力は知り合いらしくないかまたはデスクであるかあるいは両方である」ということは成り立たない; int1 & int2 -> int3: この握力は敵機動部隊だ; fact14 -> int4: この握力は御座所だ; int3 & int4 -> int5: この握力は敵機動部隊であるしそれに御座所である; int5 & fact22 -> int6: あの請求期間は備えない; int6 & fact1 -> int7: 「このイギリス空軍は申し訳無いということはないしその上備えない」ということは偽だ; int7 & fact18 -> hypothesis; __PROVED__
事実1: もしあの請求期間は備えないならば「このイギリス空軍は申し訳無くなくて更に備えない」ということは間違っている
事実2: 「このイギリス空軍は申し訳無いが備えない」ということは嘘だ
事実3: 「「申し訳無くなくて備えない」ということは偽な」ものはある
事実4: この握力は共晶組織である
事実5: 「この握力は知り合いらしいかデスクであるかあるいはどちらもである」ということは間違いだとしたら敵機動部隊だ
事実6: あの請求期間は備えるし御座所ならば「この握力はデスクでない」ということは事実である
事実7: 仮にあの請求期間は備えないならば「このイギリス空軍は申し訳無いけれどそれは備えない」ということは間違っている
事実8: 「このイギリス空軍は申し訳無くなくてデスクだということはない」ということは成り立たない
事実9: あの請求期間は自由経済である
事実10: あの約二十万人は半年間である
事実11: もし「なにがしかのものは御座所でないけどそれは発売時価格である」ということは間違っていれば「発売時価格でない」ということは成り立つ
事実12: 仮にこのイギリス空軍が申し訳無いとしたらあの昆布問屋は発売時価格である
事実13: この握力は知り合いらしい
事実14: この握力は共晶組織でその上御座所だ
事実15: あの約二十万人が半年間であるとするとこの握力は知り合いらしい
事実16: この握力は半年間でない
事実17: 仮に「何かは発売時価格でないかまたは備えるかまたは両方である」ということは誤っているとするとそれは共晶組織だ
事実18: もし仮に「このイギリス空軍は申し訳無くなくてそれに備えるということはない」ということは成り立つということはないならあの昆布問屋は発売時価格である
事実19: 仮にあの約二十万人は半年間であるとしたら「この握力は知り合いらしくないかもしくはデスクである」ということは成り立つということはない
事実20: 「仮に「なにがしかの物は知り合いらしくないかあるいはそれはデスクだ」ということは本当でないとしたらそれは敵機動部隊である」ということは事実と異ならない
事実21: 「あの昆布問屋は敵機動部隊でないしその上発売時価格だということはない」ということは間違っている
事実22: もしこの握力が敵機動部隊だしそれが御座所であるとすればあの請求期間は備えない
事実23: もしもこのイギリス空軍が発売時価格であるしかつ備えるとするとあの昆布問屋は共晶組織でない
事実24: 仮に「とあるものは知り合いらしいかあるいはデスクである」ということは間違いであるならばそれは敵機動部隊である
事実25: 仮に「「申し訳無いということはないし備えない」ということは誤りである」物があるとしたらあの状況報告は補助する

仮説: あの昆布問屋は発売時価格である
1. 事実20から、推論1: "もし「この握力は知り合いらしくないかまたはそれはデスクだ」ということは成り立たないならそれは敵機動部隊だ"が導かれる
2. 事実19と事実10から、推論2: "「この握力は知り合いらしくないかまたはデスクであるかあるいは両方である」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "この握力は敵機動部隊だ"が導かれる
4. 事実14から、推論4: "この握力は御座所だ"が導かれる
5. 推論3と推論4から、推論5: "この握力は敵機動部隊であるしそれに御座所である"が導かれる
6. 推論5と事実22から、推論6: "あの請求期間は備えない"が導かれる
7. 推論6と事実1から、推論7: "「このイギリス空軍は申し訳無いということはないしその上備えない」ということは偽だ"が導かれる
8. 推論7と事実18から、仮説が導かれる

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