この番組内は差し出がましいということはない
fact1: もしも「何かは流し始めない一方でそれは掴み易い」ということは誤りだとすればそれは掴み易くない fact2: その寸暇は赤さでない fact3: 赤さは差し出がましかない fact4: あの支配階級は流し始めない fact5: もしそのファイル番号は掴み易いということはないならば「その寸暇は社務所だがしかし合宿しない」ということは事実と異なる fact6: もしもこの内務官僚が程近くないならあの支配階級は壊れ難くないし群れ集まらない fact7: あの移行現象は流し始めない fact8: もし仮に「その雇用維持は合宿しない」ということは真実ならその寸暇は合宿する一方で掴み易くない fact9: もし仮に「なにがしかの物は得難いが赤さでない」ということは成り立つということはないとすると差し出がましかない fact10: 「「関係深くなくてそれに乾燥出来ない」ということは成り立たない」ものはある fact11: もしも「何らかのものは受け易いということはない一方で大きい」ということは成り立たないとすればそれは受け易い fact12: 仮にとある物は斯くするとすれば「それは流し始めないけど掴み易い」ということは間違っている fact13: もしもこの番組内が得難い一方でそれが赤さでないとすればその雇用維持は合宿しない fact14: 仮に「「関係深いということはないし乾燥出来ない」ということは成り立たない」ものがあるならこの内務官僚は程近くない fact15: もしもあるものは言い付けないとしたら「受け易くないしおまけにそれは大きい」ということは成り立つということはない fact16: もしもあの支配階級が壊れ難くないし群れ集まらないとすればそのファイル番号は言い付けない fact17: 「あの支配階級は社務所でない」ということは確かである fact18: もしもその雇用維持が差し出がましいならばこの番組内は差し出がましい fact19: もし仮にあの支配階級が社務所でなくてまたそれは流し始めないとしたら「そのファイル番号は社務所である」ということは事実だ fact20: 「受け易いものは斯くする」ということは確かだ fact21: もしある物が合宿する一方で掴み易くないとすればあのファイル番号は社務所でない fact22: この番組内が差し出がましいということはないとすればあの寸暇は差し出がましい
void -> assump1: 以下のように仮定する。この番組内は得難い一方で赤さだということはない; fact13 & assump1 -> int1: その雇用維持は合宿しない; int1 & fact8 -> int2: その寸暇は合宿する一方でそれは掴み易くない; int2 -> int3: 「「合宿するしそれに掴み易いということはない」ということは本当である」物はある; int3 & fact21 -> int4: そのファイル番号は社務所であるということはない; fact4 & fact17 -> int5: あの支配階級は社務所でないししかも流し始めない; fact19 & int5 -> int6: そのファイル番号は社務所である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この番組内は得難いが赤さであるということはない」ということは成り立たない; fact9 -> int9: 仮に「この番組内は得難いけれどそれは赤さでない」ということは誤りであるなら差し出がましかない; int8 & int9 -> hypothesis;
この番組内は差し出がましい
fact24 -> int10: もし仮に「そのファイル番号は流し始めるということはないが掴み易い」ということは成り立たないならばそれは掴み易いということはない; fact25 -> int11: もしもそのファイル番号は斯くするとすると「それは流し始めないしまたそれは掴み易い」ということは誤っている; fact23 -> int12: もしそのファイル番号が受け易いとすれば斯くする; fact33 -> int13: 仮に「そのファイル番号は受け易くないけどそれは大きい」ということは成り立たないなら受け易い; fact27 -> int14: もし仮にそのファイル番号は言い付けないとすると「受け易くないがしかし大きい」ということは誤っている; fact30 & fact31 -> int15: この内務官僚は程近くない; fact29 & int15 -> int16: あの支配階級は壊れ難くないし更に群れ集まるということはない; fact28 & int16 -> int17: そのファイル番号は言い付けない; int14 & int17 -> int18: 「そのファイル番号は受け易くないが大きい」ということは嘘である; int13 & int18 -> int19: 「そのファイル番号は受け易い」ということは確かだ; int12 & int19 -> int20: そのファイル番号は斯くする; int11 & int20 -> int21: 「「そのファイル番号は流し始めないがしかし掴み易い」ということは事実だ」ということは成り立たない; int10 & int21 -> int22: そのファイル番号は掴み易くない; fact32 & int22 -> int23: 「「その寸暇は社務所であるが合宿するということはない」ということは事実だ」ということは偽である; int23 -> int24: 「「社務所であるが合宿しない」ということは間違いな」物はある;
$facts$ = fact1: もしも「何かは流し始めない一方でそれは掴み易い」ということは誤りだとすればそれは掴み易くない fact2: その寸暇は赤さでない fact3: 赤さは差し出がましかない fact4: あの支配階級は流し始めない fact5: もしそのファイル番号は掴み易いということはないならば「その寸暇は社務所だがしかし合宿しない」ということは事実と異なる fact6: もしもこの内務官僚が程近くないならあの支配階級は壊れ難くないし群れ集まらない fact7: あの移行現象は流し始めない fact8: もし仮に「その雇用維持は合宿しない」ということは真実ならその寸暇は合宿する一方で掴み易くない fact9: もし仮に「なにがしかの物は得難いが赤さでない」ということは成り立つということはないとすると差し出がましかない fact10: 「「関係深くなくてそれに乾燥出来ない」ということは成り立たない」ものはある fact11: もしも「何らかのものは受け易いということはない一方で大きい」ということは成り立たないとすればそれは受け易い fact12: 仮にとある物は斯くするとすれば「それは流し始めないけど掴み易い」ということは間違っている fact13: もしもこの番組内が得難い一方でそれが赤さでないとすればその雇用維持は合宿しない fact14: 仮に「「関係深いということはないし乾燥出来ない」ということは成り立たない」ものがあるならこの内務官僚は程近くない fact15: もしもあるものは言い付けないとしたら「受け易くないしおまけにそれは大きい」ということは成り立つということはない fact16: もしもあの支配階級が壊れ難くないし群れ集まらないとすればそのファイル番号は言い付けない fact17: 「あの支配階級は社務所でない」ということは確かである fact18: もしもその雇用維持が差し出がましいならばこの番組内は差し出がましい fact19: もし仮にあの支配階級が社務所でなくてまたそれは流し始めないとしたら「そのファイル番号は社務所である」ということは事実だ fact20: 「受け易いものは斯くする」ということは確かだ fact21: もしある物が合宿する一方で掴み易くないとすればあのファイル番号は社務所でない fact22: この番組内が差し出がましいということはないとすればあの寸暇は差し出がましい ; $hypothesis$ = この番組内は差し出がましいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この番組内は得難い一方で赤さだということはない; fact13 & assump1 -> int1: その雇用維持は合宿しない; int1 & fact8 -> int2: その寸暇は合宿する一方でそれは掴み易くない; int2 -> int3: 「「合宿するしそれに掴み易いということはない」ということは本当である」物はある; int3 & fact21 -> int4: そのファイル番号は社務所であるということはない; fact4 & fact17 -> int5: あの支配階級は社務所でないししかも流し始めない; fact19 & int5 -> int6: そのファイル番号は社務所である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この番組内は得難いが赤さであるということはない」ということは成り立たない; fact9 -> int9: 仮に「この番組内は得難いけれどそれは赤さでない」ということは誤りであるなら差し出がましかない; int8 & int9 -> hypothesis; __PROVED__
事実1: もしも「何かは流し始めない一方でそれは掴み易い」ということは誤りだとすればそれは掴み易くない
事実2: その寸暇は赤さでない
事実3: 赤さは差し出がましかない
事実4: あの支配階級は流し始めない
事実5: もしそのファイル番号は掴み易いということはないならば「その寸暇は社務所だがしかし合宿しない」ということは事実と異なる
事実6: もしもこの内務官僚が程近くないならあの支配階級は壊れ難くないし群れ集まらない
事実7: あの移行現象は流し始めない
事実8: もし仮に「その雇用維持は合宿しない」ということは真実ならその寸暇は合宿する一方で掴み易くない
事実9: もし仮に「なにがしかの物は得難いが赤さでない」ということは成り立つということはないとすると差し出がましかない
事実10: 「「関係深くなくてそれに乾燥出来ない」ということは成り立たない」ものはある
事実11: もしも「何らかのものは受け易いということはない一方で大きい」ということは成り立たないとすればそれは受け易い
事実12: 仮にとある物は斯くするとすれば「それは流し始めないけど掴み易い」ということは間違っている
事実13: もしもこの番組内が得難い一方でそれが赤さでないとすればその雇用維持は合宿しない
事実14: 仮に「「関係深いということはないし乾燥出来ない」ということは成り立たない」ものがあるならこの内務官僚は程近くない
事実15: もしもあるものは言い付けないとしたら「受け易くないしおまけにそれは大きい」ということは成り立つということはない
事実16: もしもあの支配階級が壊れ難くないし群れ集まらないとすればそのファイル番号は言い付けない
事実17: 「あの支配階級は社務所でない」ということは確かである
事実18: もしもその雇用維持が差し出がましいならばこの番組内は差し出がましい
事実19: もし仮にあの支配階級が社務所でなくてまたそれは流し始めないとしたら「そのファイル番号は社務所である」ということは事実だ
事実20: 「受け易いものは斯くする」ということは確かだ
事実21: もしある物が合宿する一方で掴み易くないとすればあのファイル番号は社務所でない
事実22: この番組内が差し出がましいということはないとすればあの寸暇は差し出がましい

仮説: この番組内は差し出がましいということはない
1. 仮定1: 以下のように仮定する。この番組内は得難い一方で赤さだということはない
2. 事実13と仮定1から、推論1: "その雇用維持は合宿しない"が導かれる
3. 推論1と事実8から、推論2: "その寸暇は合宿する一方でそれは掴み易くない"が導かれる
4. 推論2から、推論3: "「「合宿するしそれに掴み易いということはない」ということは本当である」物はある"が導かれる
5. 推論3と事実21から、推論4: "そのファイル番号は社務所であるということはない"が導かれる
6. 事実4と事実17から、推論5: "あの支配階級は社務所でないししかも流し始めない"が導かれる
7. 事実19と推論5から、推論6: "そのファイル番号は社務所である"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「この番組内は得難いが赤さであるということはない」ということは成り立たない"が導かれる
10. 事実9から、推論9: "仮に「この番組内は得難いけれどそれは赤さでない」ということは誤りであるなら差し出がましかない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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