この終身結婚主義は確からしいということはないかまたは固しかもしくはどちらもだ
fact1: もしもこの同質性が常勤するとするとこの終身結婚主義は常勤する fact2: その申し出額は急伸しないけど届き易い fact3: もしなにがしかのものは届き易いとすれば「それがコンパイル出来ないしさらに遅い」ということは偽だ fact4: もしなにがしかのものがコンパイル出来なくてまた常勤しないとしたらその申し出額は忠実忠実しかない fact5: なにかは固しない fact6: 「この同質性は届き易くないが地域固有だ」ということは偽である fact7: 「コンパイル出来ないし常勤するということはない」ものはある fact8: もしこの同質性は第五十七軍であるならばそれは常勤する fact9: もし仮にこの同質性は地域固有でないとすれば「その申し出額は忠実忠実しいということはない一方で届き易い」ということは偽である fact10: もし仮にこの終身結婚主義が確からしくないか固しかあるいは両方ともであるとするとこの同質性は地域固有であるということはない fact11: もしもこの終身結婚主義が常勤すればそれは急伸しなくて忠実忠実しかない fact12: この終身結婚主義は固しないけどそれは地域固有である
void -> assump1: 以下のように仮定する。この終身結婚主義は確からしくないかそれは固し; fact10 & assump1 -> int1: 「この同質性は地域固有でない」ということは本当である; int1 & fact9 -> int2: 「その申し出額は忠実忠実しいということはないがしかし届き易い」ということは誤りである; fact2 -> int3: その申し出額は届き易い; fact4 & fact7 -> int4: 「その申し出額は忠実忠実しかない」ということは成り立つ; int3 & int4 -> int5: その申し出額は忠実忠実しかないが届き易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「その通路脇はコンパイル出来るということはないけれどそれは遅い」ということは成り立たない
fact16 -> int7: 「その通路脇は届き易い」ということは間違いでないとしたら「それはコンパイル出来ないけど遅い」ということは事実と異なる;
$facts$ = fact1: もしもこの同質性が常勤するとするとこの終身結婚主義は常勤する fact2: その申し出額は急伸しないけど届き易い fact3: もしなにがしかのものは届き易いとすれば「それがコンパイル出来ないしさらに遅い」ということは偽だ fact4: もしなにがしかのものがコンパイル出来なくてまた常勤しないとしたらその申し出額は忠実忠実しかない fact5: なにかは固しない fact6: 「この同質性は届き易くないが地域固有だ」ということは偽である fact7: 「コンパイル出来ないし常勤するということはない」ものはある fact8: もしこの同質性は第五十七軍であるならばそれは常勤する fact9: もし仮にこの同質性は地域固有でないとすれば「その申し出額は忠実忠実しいということはない一方で届き易い」ということは偽である fact10: もし仮にこの終身結婚主義が確からしくないか固しかあるいは両方ともであるとするとこの同質性は地域固有であるということはない fact11: もしもこの終身結婚主義が常勤すればそれは急伸しなくて忠実忠実しかない fact12: この終身結婚主義は固しないけどそれは地域固有である ; $hypothesis$ = この終身結婚主義は確からしいということはないかまたは固しかもしくはどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この終身結婚主義は確からしくないかそれは固し; fact10 & assump1 -> int1: 「この同質性は地域固有でない」ということは本当である; int1 & fact9 -> int2: 「その申し出額は忠実忠実しいということはないがしかし届き易い」ということは誤りである; fact2 -> int3: その申し出額は届き易い; fact4 & fact7 -> int4: 「その申し出額は忠実忠実しかない」ということは成り立つ; int3 & int4 -> int5: その申し出額は忠実忠実しかないが届き易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしもこの同質性が常勤するとするとこの終身結婚主義は常勤する
事実2: その申し出額は急伸しないけど届き易い
事実3: もしなにがしかのものは届き易いとすれば「それがコンパイル出来ないしさらに遅い」ということは偽だ
事実4: もしなにがしかのものがコンパイル出来なくてまた常勤しないとしたらその申し出額は忠実忠実しかない
事実5: なにかは固しない
事実6: 「この同質性は届き易くないが地域固有だ」ということは偽である
事実7: 「コンパイル出来ないし常勤するということはない」ものはある
事実8: もしこの同質性は第五十七軍であるならばそれは常勤する
事実9: もし仮にこの同質性は地域固有でないとすれば「その申し出額は忠実忠実しいということはない一方で届き易い」ということは偽である
事実10: もし仮にこの終身結婚主義が確からしくないか固しかあるいは両方ともであるとするとこの同質性は地域固有であるということはない
事実11: もしもこの終身結婚主義が常勤すればそれは急伸しなくて忠実忠実しかない
事実12: この終身結婚主義は固しないけどそれは地域固有である

仮説: この終身結婚主義は確からしいということはないかまたは固しかもしくはどちらもだ
1. 仮定1: 以下のように仮定する。この終身結婚主義は確からしくないかそれは固し
2. 事実10と仮定1から、推論1: "「この同質性は地域固有でない」ということは本当である"が導かれる
3. 推論1と事実9から、推論2: "「その申し出額は忠実忠実しいということはないがしかし届き易い」ということは誤りである"が導かれる
4. 事実2から、推論3: "その申し出額は届き易い"が導かれる
5. 事実4と事実7から、推論4: "「その申し出額は忠実忠実しかない」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "その申し出額は忠実忠実しかないが届き易い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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