あの企業法務マンは御許し頂けないしそれはど偉いということはない
fact1: もしこの期末時価は称名でないとしたらそれは講じるということはないし更に空々しかない fact2: 仮にその非対面取り引きは御許し頂けないとすれば「あの企業法務マンは御許し頂けないししかもど偉くない」ということは成り立たない fact3: この期末時価は見極め難いということはない fact4: もし仮にその公的制度はいみじないなら「この期末時価は講じないしおまけに空々しかない」ということは嘘である fact5: もし仮になんらかの物が講じるとしたらいみじない fact6: もしこの期末時価が見極め難くないとしたら称名だということはない fact7: 仮に「結び付き易くないしロールしない」物があるならその非対面取り引きは御許し頂けない fact8: もしも「その公的制度は結び付き易くなくて更にロールするということはない」ということは事実と異なればそれはいみじない
void -> assump1: 以下のように仮定する。「その公的制度は結び付き易くなくておまけにそれはロールしない」ということは誤っている; fact8 & assump1 -> int1: その公的制度はいみじない; int1 & fact4 -> int2: 「「この期末時価は講じないし空々しかない」ということは確かである」ということは事実でない; fact3 & fact6 -> int3: この期末時価は称名でない; int3 & fact1 -> int4: この期末時価は講じないしおまけに空々しいということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その公的制度は結び付き易くなくておまけにロールしない; int6 -> int7: なにがしかの物は結び付き易いということはなくてまたそれはロールするということはない; int7 & fact7 -> int8: その非対面取り引きは御許し頂けない; int8 & fact2 -> hypothesis;
あの円柱状はいみじない
fact9 -> int9: もし仮にあの円柱状が講じるとするとそれはいみじない;
$facts$ = fact1: もしこの期末時価は称名でないとしたらそれは講じるということはないし更に空々しかない fact2: 仮にその非対面取り引きは御許し頂けないとすれば「あの企業法務マンは御許し頂けないししかもど偉くない」ということは成り立たない fact3: この期末時価は見極め難いということはない fact4: もし仮にその公的制度はいみじないなら「この期末時価は講じないしおまけに空々しかない」ということは嘘である fact5: もし仮になんらかの物が講じるとしたらいみじない fact6: もしこの期末時価が見極め難くないとしたら称名だということはない fact7: 仮に「結び付き易くないしロールしない」物があるならその非対面取り引きは御許し頂けない fact8: もしも「その公的制度は結び付き易くなくて更にロールするということはない」ということは事実と異なればそれはいみじない ; $hypothesis$ = あの企業法務マンは御許し頂けないしそれはど偉いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その公的制度は結び付き易くなくておまけにそれはロールしない」ということは誤っている; fact8 & assump1 -> int1: その公的制度はいみじない; int1 & fact4 -> int2: 「「この期末時価は講じないし空々しかない」ということは確かである」ということは事実でない; fact3 & fact6 -> int3: この期末時価は称名でない; int3 & fact1 -> int4: この期末時価は講じないしおまけに空々しいということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その公的制度は結び付き易くなくておまけにロールしない; int6 -> int7: なにがしかの物は結び付き易いということはなくてまたそれはロールするということはない; int7 & fact7 -> int8: その非対面取り引きは御許し頂けない; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: もしこの期末時価は称名でないとしたらそれは講じるということはないし更に空々しかない
事実2: 仮にその非対面取り引きは御許し頂けないとすれば「あの企業法務マンは御許し頂けないししかもど偉くない」ということは成り立たない
事実3: この期末時価は見極め難いということはない
事実4: もし仮にその公的制度はいみじないなら「この期末時価は講じないしおまけに空々しかない」ということは嘘である
事実5: もし仮になんらかの物が講じるとしたらいみじない
事実6: もしこの期末時価が見極め難くないとしたら称名だということはない
事実7: 仮に「結び付き易くないしロールしない」物があるならその非対面取り引きは御許し頂けない
事実8: もしも「その公的制度は結び付き易くなくて更にロールするということはない」ということは事実と異なればそれはいみじない

仮説: あの企業法務マンは御許し頂けないしそれはど偉いということはない
1. 仮定1: 以下のように仮定する。「その公的制度は結び付き易くなくておまけにそれはロールしない」ということは誤っている
2. 事実8と仮定1から、推論1: "その公的制度はいみじない"が導かれる
3. 推論1と事実4から、推論2: "「「この期末時価は講じないし空々しかない」ということは確かである」ということは事実でない"が導かれる
4. 事実3と事実6から、推論3: "この期末時価は称名でない"が導かれる
5. 推論3と事実1から、推論4: "この期末時価は講じないしおまけに空々しいということはない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その公的制度は結び付き易くなくておまけにロールしない"が導かれる
8. 推論6から、推論7: "なにがしかの物は結び付き易いということはなくてまたそれはロールするということはない"が導かれる
9. 推論7と事実7から、推論8: "その非対面取り引きは御許し頂けない"が導かれる
10. 推論8と事実2から、仮説が否定される

よって、仮説が否定されました。