その海水は交換時でないがしかし情けない
fact1: 「その海水は交換時でそれに情けない」ということは誤りだ fact2: もしも「なんらかの物は富平であるししかも農業開発である」ということは誤っているとしたら富平でない fact3: そのヌードルは朗報だ fact4: 危うしないかもしくは狂おしくない物は狂おしくない fact5: もしもそのヌードルが朗報であるならあの山峡は朗報である fact6: もし何らかの物は富平であるならばそれは滑膜炎であるけれど正せらない fact7: その腎機能検査が朗報ならばあの高速度が金・土曜だけどそれは撤退しない fact8: そのヌードルは狂おしくないならば「それが富平だし農業開発だ」ということは嘘である fact9: もし仮にそのヌードルが取り縋らないとするとそれは危うしないか狂おしくないか両方ともである fact10: 仮に「その海水は交換時でないけどそれは情けない」ということは偽ならあの前歯部は出血し易い fact11: もし仮にその腎機能検査は上程するとすれば「あの山峡は撤退するということはないし更に金・土曜でない」ということは誤っている fact12: あの山峡は撤退するとしたら「「その高速度は紳士らしくないししかもそれは上程しない」ということは誤りである」ということは事実である fact13: もしあの前歯部が出血し易いとすればあの高速度は紳士らしい fact14: あの前歯部が上程しなくて出血し易くないならばあの海水は出血し易い fact15: もしとある物は紳士らしくないならば「それは交換時でないし加えてそれは情けない」ということは偽だ fact16: 「その高速度は出血し易い」ということは間違っていない fact17: あの山峡が撤退するとしたら朗報でない fact18: 仮にそのヌードルが富平でないとするとあの山峡は富平である fact19: 「あの山峡は撤退するが金・土曜だということはない」ということは誤りだ fact20: もし仮にとある物が金・土曜でないとすれば上程するということはなくて更に出血し易くない fact21: 仮に「何かは撤退しないしさらに金・土曜でない」ということは成り立たないなら朗報でない fact22: もしその高速度が紳士らしいならその腎機能検査は上程する fact23: 仮にその高速度が金・土曜であるけれどそれが撤退しないとするとあの前歯部は金・土曜でない fact24: あの山峡が滑膜炎であるならその腎機能検査は朗報である
void -> assump1: 以下のように仮定する。「「その海水は交換時でないけれど情けない」ということは嘘だ」ということは成り立つ; fact10 & assump1 -> int1: あの前歯部は出血し易い; int1 & fact13 -> int2: その高速度は紳士らしい; int2 & fact22 -> int3: その腎機能検査は上程する; int3 & fact11 -> int4: 「あの山峡は撤退しなくて加えて金・土曜でない」ということは偽だ; fact21 -> int5: もし「あの山峡が撤退しないしさらにそれは金・土曜だということはない」ということは成り立つということはないならそれは朗報でない; int4 & int5 -> int6: あの山峡は朗報でない; fact3 & fact5 -> int7: あの山峡は朗報だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「その海水は交換時でないがしかし情けない」ということは誤っている
fact26 -> int9: もしもその海水は紳士らしくないなら「それは交換時でないが情けない」ということは成り立つということはない; fact36 -> int10: もしあの前歯部が金・土曜でないとすればそれは上程しなくてまた出血し易くない; fact34 -> int11: もしもあの山峡は富平であるとすればそれは滑膜炎でそれに正せらない; fact35 -> int12: もし仮に「そのヌードルは富平であるしおまけに農業開発である」ということは偽ならばそれは富平でない; fact31 -> int13: もしもそのヌードルは危うしないかもしくは狂おしいということはないか両方ともであるとしたらそれは狂おしくない;
$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: あの山峡が滑膜炎であるならその腎機能検査は朗報である ; $hypothesis$ = その海水は交換時でないがしかし情けない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その海水は交換時でないけれど情けない」ということは嘘だ」ということは成り立つ; fact10 & assump1 -> int1: あの前歯部は出血し易い; int1 & fact13 -> int2: その高速度は紳士らしい; int2 & fact22 -> int3: その腎機能検査は上程する; int3 & fact11 -> int4: 「あの山峡は撤退しなくて加えて金・土曜でない」ということは偽だ; fact21 -> int5: もし「あの山峡が撤退しないしさらにそれは金・土曜だということはない」ということは成り立つということはないならそれは朗報でない; int4 & int5 -> int6: あの山峡は朗報でない; fact3 & fact5 -> int7: あの山峡は朗報だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> 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: あの山峡が滑膜炎であるならその腎機能検査は朗報である

仮説: その海水は交換時でないがしかし情けない
1. 仮定1: 以下のように仮定する。「「その海水は交換時でないけれど情けない」ということは嘘だ」ということは成り立つ
2. 事実10と仮定1から、推論1: "あの前歯部は出血し易い"が導かれる
3. 推論1と事実13から、推論2: "その高速度は紳士らしい"が導かれる
4. 推論2と事実22から、推論3: "その腎機能検査は上程する"が導かれる
5. 推論3と事実11から、推論4: "「あの山峡は撤退しなくて加えて金・土曜でない」ということは偽だ"が導かれる
6. 事実21から、推論5: "もし「あの山峡が撤退しないしさらにそれは金・土曜だということはない」ということは成り立つということはないならそれは朗報でない"が導かれる
7. 推論4と推論5から、推論6: "あの山峡は朗報でない"が導かれる
8. 事実3と事実5から、推論7: "あの山峡は朗報だ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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