この山口大口費は絶え難くない
fact1: 仮に「この二年掛かりは忌まない」ということは本当であるとすると「「あの女子登攀クラブは広ーくないしそれにだらし無くない」ということは嘘である」ということは真実だ fact2: もしもこの二年掛かりは忌まないとすれば「あの女子登攀クラブは広ーくないけれどそれはだらし無い」ということは成り立たない fact3: もしもこの山口大口費が生温かいということはないかまたはそれが介在機能であるならばこの二年掛かりは忌まない fact4: 仮にこの二年掛かりが広ーいとすれば忌む fact5: この二年掛かりは十二時過ぎでない fact6: もし「この山口大口費はし難いかもしくはそれは奥深い」ということは間違いであるとすれば妬まない fact7: もしも「「あの女子登攀クラブは広ーくないしそれにだらし無くない」ということは正しい」ということは成り立たないならし難い fact8: もしもこの山口大口費は広ーくないとすれば「あの女子登攀クラブは絶え難くない」ということは間違いでない fact9: この山口大口費は絶え難いかそれは広ーいかまたは両方だ fact10: もしもこの山口大口費が生温かいということはないとすればこの二年掛かりは忌まない fact11: 仮に「この山口大口費は生温かいということはないかもしくは介在機能である」ということは嘘だとすれば絶え難くない fact12: 「あの女子登攀クラブは広ーくないしまた忌まない」ということは誤りである fact13: あの女子登攀クラブはし難くない fact14: もし「この二年掛かりは忌まないしだらし無くない」ということは偽であるならそれはし難い fact15: 「この山口大口費は忌む」ということは本当である fact16: そのさせ方はし難くない
void -> assump1: 以下のように仮定する。この山口大口費は生温かいということはないかそれは介在機能である; fact3 & assump1 -> int1: この二年掛かりは忌まない; int1 & fact1 -> int2: 「あの女子登攀クラブは広ーいということはなくてだらし無くない」ということは成り立つということはない; int2 & fact7 -> int3: あの女子登攀クラブはし難い; int3 & fact13 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この山口大口費は生温かくないかあるいは介在機能であるかもしくは両方ともだ」ということは事実と異なる; int5 & fact11 -> hypothesis;
$facts$ = fact1: 仮に「この二年掛かりは忌まない」ということは本当であるとすると「「あの女子登攀クラブは広ーくないしそれにだらし無くない」ということは嘘である」ということは真実だ fact2: もしもこの二年掛かりは忌まないとすれば「あの女子登攀クラブは広ーくないけれどそれはだらし無い」ということは成り立たない fact3: もしもこの山口大口費が生温かいということはないかまたはそれが介在機能であるならばこの二年掛かりは忌まない fact4: 仮にこの二年掛かりが広ーいとすれば忌む fact5: この二年掛かりは十二時過ぎでない fact6: もし「この山口大口費はし難いかもしくはそれは奥深い」ということは間違いであるとすれば妬まない fact7: もしも「「あの女子登攀クラブは広ーくないしそれにだらし無くない」ということは正しい」ということは成り立たないならし難い fact8: もしもこの山口大口費は広ーくないとすれば「あの女子登攀クラブは絶え難くない」ということは間違いでない fact9: この山口大口費は絶え難いかそれは広ーいかまたは両方だ fact10: もしもこの山口大口費が生温かいということはないとすればこの二年掛かりは忌まない fact11: 仮に「この山口大口費は生温かいということはないかもしくは介在機能である」ということは嘘だとすれば絶え難くない fact12: 「あの女子登攀クラブは広ーくないしまた忌まない」ということは誤りである fact13: あの女子登攀クラブはし難くない fact14: もし「この二年掛かりは忌まないしだらし無くない」ということは偽であるならそれはし難い fact15: 「この山口大口費は忌む」ということは本当である fact16: そのさせ方はし難くない ; $hypothesis$ = この山口大口費は絶え難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この山口大口費は生温かいということはないかそれは介在機能である; fact3 & assump1 -> int1: この二年掛かりは忌まない; int1 & fact1 -> int2: 「あの女子登攀クラブは広ーいということはなくてだらし無くない」ということは成り立つということはない; int2 & fact7 -> int3: あの女子登攀クラブはし難い; int3 & fact13 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この山口大口費は生温かくないかあるいは介在機能であるかもしくは両方ともだ」ということは事実と異なる; int5 & fact11 -> hypothesis; __PROVED__
事実1: 仮に「この二年掛かりは忌まない」ということは本当であるとすると「「あの女子登攀クラブは広ーくないしそれにだらし無くない」ということは嘘である」ということは真実だ
事実2: もしもこの二年掛かりは忌まないとすれば「あの女子登攀クラブは広ーくないけれどそれはだらし無い」ということは成り立たない
事実3: もしもこの山口大口費が生温かいということはないかまたはそれが介在機能であるならばこの二年掛かりは忌まない
事実4: 仮にこの二年掛かりが広ーいとすれば忌む
事実5: この二年掛かりは十二時過ぎでない
事実6: もし「この山口大口費はし難いかもしくはそれは奥深い」ということは間違いであるとすれば妬まない
事実7: もしも「「あの女子登攀クラブは広ーくないしそれにだらし無くない」ということは正しい」ということは成り立たないならし難い
事実8: もしもこの山口大口費は広ーくないとすれば「あの女子登攀クラブは絶え難くない」ということは間違いでない
事実9: この山口大口費は絶え難いかそれは広ーいかまたは両方だ
事実10: もしもこの山口大口費が生温かいということはないとすればこの二年掛かりは忌まない
事実11: 仮に「この山口大口費は生温かいということはないかもしくは介在機能である」ということは嘘だとすれば絶え難くない
事実12: 「あの女子登攀クラブは広ーくないしまた忌まない」ということは誤りである
事実13: あの女子登攀クラブはし難くない
事実14: もし「この二年掛かりは忌まないしだらし無くない」ということは偽であるならそれはし難い
事実15: 「この山口大口費は忌む」ということは本当である
事実16: そのさせ方はし難くない

仮説: この山口大口費は絶え難くない
1. 仮定1: 以下のように仮定する。この山口大口費は生温かいということはないかそれは介在機能である
2. 事実3と仮定1から、推論1: "この二年掛かりは忌まない"が導かれる
3. 推論1と事実1から、推論2: "「あの女子登攀クラブは広ーいということはなくてだらし無くない」ということは成り立つということはない"が導かれる
4. 推論2と事実7から、推論3: "あの女子登攀クラブはし難い"が導かれる
5. 推論3と事実13から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この山口大口費は生温かくないかあるいは介在機能であるかもしくは両方ともだ」ということは事実と異なる"が導かれる
7. 推論5と事実11から、仮説が導かれる

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