その社員全員が離席するならその分裂組織は途絶だ
fact1: 仮にその社員全員は離席するとすると「その分裂組織は奥深くない」ということは偽だ fact2: もしも何らかのものが離席するならそれは奥深い fact3: もしもなにがしかのものは支給期間だとすると「不規則性でなくてしかもそれは底堅くない」ということは誤りである fact4: その社員全員は奥深い fact5: 何かは痩せ難いなら「尺度値でないけど逆輸入する」ということは偽である fact6: もし「あの織物設計書は尺度値でないがしかし逆輸入する」ということは間違っているとしたらこの軽トラックは逆輸入する fact7: その社員全員は野暮ったい fact8: 仮にこの軽トラックは逆輸入するとしたら「その分裂組織は支給期間である」ということは成り立つ fact9: もし何かは確言するとすると進展だ fact10: あの織物設計書は痩せ難い fact11: その社員全員が益金・損金算入しないとしたらそのカットグラスが離席するしその上それは途絶だ fact12: 奥深いものは途絶である
void -> assump1: 以下のように仮定する。その社員全員は離席する; fact1 & assump1 -> int1: その分裂組織は奥深い; fact12 -> int2: もしもその分裂組織が奥深いとすると途絶だ; int1 & int2 -> int3: その分裂組織は途絶だ; [assump1] & int3 -> hypothesis;
そのカットグラスは奥深い
fact17 -> int4: もしそのカットグラスが離席するとしたらそれは奥深い; fact18 -> int5: 仮にその分裂組織は支給期間だとすると「不規則性でないし更にそれは底堅くない」ということは成り立たない; fact16 -> int6: もしもあの織物設計書は痩せ難いとすれば「尺度値であるということはないけど逆輸入する」ということは事実と異なる; int6 & fact15 -> int7: 「あの織物設計書は尺度値であるということはないけど逆輸入する」ということは間違いである; fact19 & int7 -> int8: 「この軽トラックは逆輸入する」ということは本当だ; fact14 & int8 -> int9: その分裂組織は支給期間である; int5 & int9 -> int10: 「その分裂組織は不規則性でなくて更に底堅くない」ということは事実と異なる; int10 -> int11: 「「不規則性でなくてまた底堅くない」ということは嘘である」ものはある;
$facts$ = fact1: 仮にその社員全員は離席するとすると「その分裂組織は奥深くない」ということは偽だ fact2: もしも何らかのものが離席するならそれは奥深い fact3: もしもなにがしかのものは支給期間だとすると「不規則性でなくてしかもそれは底堅くない」ということは誤りである fact4: その社員全員は奥深い fact5: 何かは痩せ難いなら「尺度値でないけど逆輸入する」ということは偽である fact6: もし「あの織物設計書は尺度値でないがしかし逆輸入する」ということは間違っているとしたらこの軽トラックは逆輸入する fact7: その社員全員は野暮ったい fact8: 仮にこの軽トラックは逆輸入するとしたら「その分裂組織は支給期間である」ということは成り立つ fact9: もし何かは確言するとすると進展だ fact10: あの織物設計書は痩せ難い fact11: その社員全員が益金・損金算入しないとしたらそのカットグラスが離席するしその上それは途絶だ fact12: 奥深いものは途絶である ; $hypothesis$ = その社員全員が離席するならその分裂組織は途絶だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その社員全員は離席する; fact1 & assump1 -> int1: その分裂組織は奥深い; fact12 -> int2: もしもその分裂組織が奥深いとすると途絶だ; int1 & int2 -> int3: その分裂組織は途絶だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にその社員全員は離席するとすると「その分裂組織は奥深くない」ということは偽だ
事実2: もしも何らかのものが離席するならそれは奥深い
事実3: もしもなにがしかのものは支給期間だとすると「不規則性でなくてしかもそれは底堅くない」ということは誤りである
事実4: その社員全員は奥深い
事実5: 何かは痩せ難いなら「尺度値でないけど逆輸入する」ということは偽である
事実6: もし「あの織物設計書は尺度値でないがしかし逆輸入する」ということは間違っているとしたらこの軽トラックは逆輸入する
事実7: その社員全員は野暮ったい
事実8: 仮にこの軽トラックは逆輸入するとしたら「その分裂組織は支給期間である」ということは成り立つ
事実9: もし何かは確言するとすると進展だ
事実10: あの織物設計書は痩せ難い
事実11: その社員全員が益金・損金算入しないとしたらそのカットグラスが離席するしその上それは途絶だ
事実12: 奥深いものは途絶である

仮説: その社員全員が離席するならその分裂組織は途絶だ
1. 仮定1: 以下のように仮定する。その社員全員は離席する
2. 事実1と仮定1から、推論1: "その分裂組織は奥深い"が導かれる
3. 事実12から、推論2: "もしもその分裂組織が奥深いとすると途絶だ"が導かれる
4. 推論1と推論2から、推論3: "その分裂組織は途絶だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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