この販売促進部は繁殖し易いがＴＶゲームでない
fact1: もしもあの重要財産委員会制度がＴＶゲームでないとするとこの販売促進部は繁殖し易いけどＴＶゲームでない fact2: この販売促進部は区分支給限度額だ fact3: この組織内部は交遊でない fact4: その杞憂は未練がましいということはなくて繁殖し易くない fact5: この組織内部は発給する fact6: この組織内部がＴＶゲームであるとすればあの販売促進部はすこくなくてまた区分支給限度額でない fact7: 「その婦人病はすこい」ということは事実と異ならない fact8: この販売促進部はすこくない fact9: もしも「何らかのものは愚かしくない一方でそれは二十年代末である」ということは嘘であるとすればそれは愚かしい fact10: あの重要財産委員会制度は区分支給限度額でない fact11: もしこの販売促進部がＴＶゲームならこの組織内部はすこくないし繁殖し易くない fact12: 仮にあの重要財産委員会制度がＴＶゲームであるとするとこの組織内部は区分支給限度額でないししかもすこくない fact13: この組織内部は気忙しい fact14: もしあの重要財産委員会制度が繁殖し易くないならこの販売促進部はＴＶゲームである fact15: 「この組織内部は区分支給限度額である」ということは本当だ fact16: なにがしかの物は愚かしいなら「それは繁殖し易いし加えてＴＶゲームでない」ということは間違っている fact17: この組織内部は基礎水準であるがしかしそれは横列だということはない fact18: この技術陣はすこくない fact19: もしもこの販売促進部が繁殖し易いということはないならこの組織内部が区分支給限度額だけど繁殖し易くない fact20: この販売促進部が区分支給限度額でないとしたらこの組織内部は繁殖し易いけれどそれは区分支給限度額でない fact21: この販売促進部は惨たらしいがすこいということはない fact22: あの重要財産委員会制度が繁殖し易くないならばこの販売促進部はＴＶゲームであるがしかし繁殖し易くない
void -> assump1: 以下のように仮定する。あの重要財産委員会制度はＴＶゲームである; fact12 & assump1 -> int1: この組織内部は区分支給限度額でないし更にすこくない; int1 -> int2: この組織内部は区分支給限度額でない; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの重要財産委員会制度はＴＶゲームでない; int4 & fact1 -> hypothesis;
「この販売促進部は繁殖し易いけれどＴＶゲームでない」ということは嘘だ
fact23 -> int5: この販売促進部は愚かしいとすると「「それは繁殖し易いがしかしＴＶゲームでない」ということは成り立つ」ということは成り立たない; fact24 -> int6: もし「この販売促進部は愚かしいということはないけれど二十年代末である」ということは誤りならそれは愚かしい;
$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: 以下のように仮定する。あの重要財産委員会制度はＴＶゲームである; fact12 & assump1 -> int1: この組織内部は区分支給限度額でないし更にすこくない; int1 -> int2: この組織内部は区分支給限度額でない; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの重要財産委員会制度はＴＶゲームでない; int4 & fact1 -> 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. 事実12と仮定1から、推論1: "この組織内部は区分支給限度額でないし更にすこくない"が導かれる
3. 推論1から、推論2: "この組織内部は区分支給限度額でない"が導かれる
4. 推論2と事実15から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの重要財産委員会制度はＴＶゲームでない"が導かれる
6. 推論4と事実1から、仮説が導かれる

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