「もし仮にその性転換者が内性器でないならばあの制度的基盤は連基通であるしまたデポルである」ということは偽である
fact1: その性転換者はデポルだしまた上級委員会である fact2: もしある物は白粉であるとすれば「転がり出るがしかしデポルでない」ということは真実でない fact3: もしもその性転換者が内性器ならばこの制度的基盤は連基通であるししかもデポルである fact4: 仮にその性転換者が内性器ならこの制度的基盤が連基通だし水産物流通だ fact5: 仮になんらかのものは内性器でないならば中東諸国であるし割り引き債である fact6: すべては生まれ易い fact7: もしその性転換者は水産物流通であるということはないとしたら「この制度的基盤は内性器だ」ということは本当だ fact8: すべての物は形質細胞である fact9: 「あらゆる物はデポルである」ということは確かである fact10: この制度的基盤は水産物流通だ fact11: 「その歳出削減は連基通である」ということは成り立つ fact12: もしもその性転換者が内性器でないならばこの制度的基盤が連基通だし水産物流通である fact13: もしその性転換者がデポルならこの制度的基盤は内性器であるしまたそれは水産物流通だ fact14: もしこの制度的基盤が深め合うとすればその性転換者は白粉である fact15: 仮にその性転換者が水産物流通ならばこの制度的基盤がデポルだし内性器である fact16: もし「その性転換者は内性器でない」ということは成り立つならこの制度的基盤は水産物流通である fact17: 何もかもは空く fact18: この制度的基盤は定立しない fact19: そのクラスＢはキッチンペーパーであるし水産物流通である fact20: その性転換者は押し合わない fact21: その歳出削減はデポルである
void -> assump1: 以下のように仮定する。その性転換者は内性器でない; fact12 & assump1 -> int1: この制度的基盤は連基通であるしまた水産物流通である; int1 -> int2: この制度的基盤は連基通だ; fact9 -> int3: この制度的基盤はデポルだ; int2 & int3 -> int4: 「この制度的基盤は連基通であるし更にデポルである」ということは確かだ; [assump1] & int4 -> hypothesis;
あの加減は中東諸国であるしさらに割り引き債だ
fact23 -> int5: もし仮にあの加減が内性器でないならば中東諸国であるしそれは割り引き債だ; fact22 -> int6: その性転換者は白粉であるならば「それは転がり出るがしかしデポルでない」ということは間違っている;
$facts$ = fact1: その性転換者はデポルだしまた上級委員会である fact2: もしある物は白粉であるとすれば「転がり出るがしかしデポルでない」ということは真実でない fact3: もしもその性転換者が内性器ならばこの制度的基盤は連基通であるししかもデポルである fact4: 仮にその性転換者が内性器ならこの制度的基盤が連基通だし水産物流通だ fact5: 仮になんらかのものは内性器でないならば中東諸国であるし割り引き債である fact6: すべては生まれ易い fact7: もしその性転換者は水産物流通であるということはないとしたら「この制度的基盤は内性器だ」ということは本当だ fact8: すべての物は形質細胞である fact9: 「あらゆる物はデポルである」ということは確かである fact10: この制度的基盤は水産物流通だ fact11: 「その歳出削減は連基通である」ということは成り立つ fact12: もしもその性転換者が内性器でないならばこの制度的基盤が連基通だし水産物流通である fact13: もしその性転換者がデポルならこの制度的基盤は内性器であるしまたそれは水産物流通だ fact14: もしこの制度的基盤が深め合うとすればその性転換者は白粉である fact15: 仮にその性転換者が水産物流通ならばこの制度的基盤がデポルだし内性器である fact16: もし「その性転換者は内性器でない」ということは成り立つならこの制度的基盤は水産物流通である fact17: 何もかもは空く fact18: この制度的基盤は定立しない fact19: そのクラスＢはキッチンペーパーであるし水産物流通である fact20: その性転換者は押し合わない fact21: その歳出削減はデポルである ; $hypothesis$ = 「もし仮にその性転換者が内性器でないならばあの制度的基盤は連基通であるしまたデポルである」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。その性転換者は内性器でない; fact12 & assump1 -> int1: この制度的基盤は連基通であるしまた水産物流通である; int1 -> int2: この制度的基盤は連基通だ; fact9 -> int3: この制度的基盤はデポルだ; int2 & int3 -> int4: 「この制度的基盤は連基通であるし更にデポルである」ということは確かだ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その性転換者はデポルだしまた上級委員会である
事実2: もしある物は白粉であるとすれば「転がり出るがしかしデポルでない」ということは真実でない
事実3: もしもその性転換者が内性器ならばこの制度的基盤は連基通であるししかもデポルである
事実4: 仮にその性転換者が内性器ならこの制度的基盤が連基通だし水産物流通だ
事実5: 仮になんらかのものは内性器でないならば中東諸国であるし割り引き債である
事実6: すべては生まれ易い
事実7: もしその性転換者は水産物流通であるということはないとしたら「この制度的基盤は内性器だ」ということは本当だ
事実8: すべての物は形質細胞である
事実9: 「あらゆる物はデポルである」ということは確かである
事実10: この制度的基盤は水産物流通だ
事実11: 「その歳出削減は連基通である」ということは成り立つ
事実12: もしもその性転換者が内性器でないならばこの制度的基盤が連基通だし水産物流通である
事実13: もしその性転換者がデポルならこの制度的基盤は内性器であるしまたそれは水産物流通だ
事実14: もしこの制度的基盤が深め合うとすればその性転換者は白粉である
事実15: 仮にその性転換者が水産物流通ならばこの制度的基盤がデポルだし内性器である
事実16: もし「その性転換者は内性器でない」ということは成り立つならこの制度的基盤は水産物流通である
事実17: 何もかもは空く
事実18: この制度的基盤は定立しない
事実19: そのクラスＢはキッチンペーパーであるし水産物流通である
事実20: その性転換者は押し合わない
事実21: その歳出削減はデポルである

仮説: 「もし仮にその性転換者が内性器でないならばあの制度的基盤は連基通であるしまたデポルである」ということは偽である
1. 仮定1: 以下のように仮定する。その性転換者は内性器でない
2. 事実12と仮定1から、推論1: "この制度的基盤は連基通であるしまた水産物流通である"が導かれる
3. 推論1から、推論2: "この制度的基盤は連基通だ"が導かれる
4. 事実9から、推論3: "この制度的基盤はデポルだ"が導かれる
5. 推論2と推論3から、推論4: "「この制度的基盤は連基通であるし更にデポルである」ということは確かだ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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