その両用タイプは御理解頂ける
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: もしもこの銀行員時代がか細いならばえぐくなくて更にそれは御理解頂けない fact26: もしこの銀行員時代がえぐいとすれば弔問客でない
void -> assump1: 以下のように仮定する。この銀行員時代はえぐい; fact2 & assump1 -> int1: この銀行員時代は弔問客でないしさらに吹き飛ばさない; int1 -> int2: この銀行員時代は吹き飛ばさない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この銀行員時代はえぐくない; fact9 -> int5: 仮にこの銀行員時代はえぐいということはないなら「「それは小汚くなくてまたそれは並列する」ということは成り立つ」ということは偽である; int4 & int5 -> int6: 「この銀行員時代は小汚くないが並列する」ということは成り立たない; int6 & fact18 -> int7: その両用タイプはか細い; int7 & fact20 -> hypothesis;
その両用タイプは御理解頂けない
fact29 -> 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: もしもこの銀行員時代がか細いならばえぐくなくて更にそれは御理解頂けない fact26: もしこの銀行員時代がえぐいとすれば弔問客でない ; $hypothesis$ = その両用タイプは御理解頂ける ; $proof$ = 
void -> assump1: 以下のように仮定する。この銀行員時代はえぐい; fact2 & assump1 -> int1: この銀行員時代は弔問客でないしさらに吹き飛ばさない; int1 -> int2: この銀行員時代は吹き飛ばさない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この銀行員時代はえぐくない; fact9 -> int5: 仮にこの銀行員時代はえぐいということはないなら「「それは小汚くなくてまたそれは並列する」ということは成り立つ」ということは偽である; int4 & int5 -> int6: 「この銀行員時代は小汚くないが並列する」ということは成り立たない; int6 & fact18 -> int7: その両用タイプはか細い; int7 & fact20 -> 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: もしもこの銀行員時代がか細いならばえぐくなくて更にそれは御理解頂けない
事実26: もしこの銀行員時代がえぐいとすれば弔問客でない

仮説: その両用タイプは御理解頂ける
1. 仮定1: 以下のように仮定する。この銀行員時代はえぐい
2. 事実2と仮定1から、推論1: "この銀行員時代は弔問客でないしさらに吹き飛ばさない"が導かれる
3. 推論1から、推論2: "この銀行員時代は吹き飛ばさない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この銀行員時代はえぐくない"が導かれる
6. 事実9から、推論5: "仮にこの銀行員時代はえぐいということはないなら「「それは小汚くなくてまたそれは並列する」ということは成り立つ」ということは偽である"が導かれる
7. 推論4と推論5から、推論6: "「この銀行員時代は小汚くないが並列する」ということは成り立たない"が導かれる
8. 推論6と事実18から、推論7: "その両用タイプはか細い"が導かれる
9. 推論7と事実20から、仮説が導かれる

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