このネガティブセレクションは分業する一方で二極化しない
fact1: このネガティブセレクションが民法だけれど阿片法でないとするとあのＴＩ‐ＴＩは阿片法でない fact2: もし仮に「このネガティブセレクションは分業するがしかし二極化しない」ということは嘘だとしたら「阿片法であるということはない」ということは成り立つ fact3: 仮にこのネガティブセレクションが民法だとするとそれが過ぎ行かないしまたそれは阿片法であるということはない fact4: 「このネガティブセレクションは分業するし二極化する」ということは成り立たない fact5: 仮に何らかのものは過ぎ行かないとすると「分業するが二極化しない」ということは誤りだ fact6: もし仮にこのネガティブセレクションが二極化するとするとそれは阿片法でない fact7: このネガティブセレクションが阿片法だし過ぎ行く fact8: このネガティブセレクションは二極化しない fact9: このネガティブセレクションは過ぎ行く fact10: もしも何かは経常利益率だということはないなら過ぎ行くししかも諸手である
void -> assump1: 以下のように仮定する。「このネガティブセレクションは分業する一方で二極化しない」ということは成り立たない; fact2 & assump1 -> int1: このネガティブセレクションは阿片法でない; fact7 -> int2: このネガティブセレクションは阿片法だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{a}; fact7 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「このネガティブセレクションは分業するけれど二極化しない」ということは嘘である
fact12 -> int4: このネガティブセレクションは過ぎ行かないとすれば「それは分業するししかもそれは二極化しない」ということは成り立たない;
$facts$ = fact1: このネガティブセレクションが民法だけれど阿片法でないとするとあのＴＩ‐ＴＩは阿片法でない fact2: もし仮に「このネガティブセレクションは分業するがしかし二極化しない」ということは嘘だとしたら「阿片法であるということはない」ということは成り立つ fact3: 仮にこのネガティブセレクションが民法だとするとそれが過ぎ行かないしまたそれは阿片法であるということはない fact4: 「このネガティブセレクションは分業するし二極化する」ということは成り立たない fact5: 仮に何らかのものは過ぎ行かないとすると「分業するが二極化しない」ということは誤りだ fact6: もし仮にこのネガティブセレクションが二極化するとするとそれは阿片法でない fact7: このネガティブセレクションが阿片法だし過ぎ行く fact8: このネガティブセレクションは二極化しない fact9: このネガティブセレクションは過ぎ行く fact10: もしも何かは経常利益率だということはないなら過ぎ行くししかも諸手である ; $hypothesis$ = このネガティブセレクションは分業する一方で二極化しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このネガティブセレクションは分業する一方で二極化しない」ということは成り立たない; fact2 & assump1 -> int1: このネガティブセレクションは阿片法でない; fact7 -> int2: このネガティブセレクションは阿片法だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: このネガティブセレクションが民法だけれど阿片法でないとするとあのＴＩ‐ＴＩは阿片法でない
事実2: もし仮に「このネガティブセレクションは分業するがしかし二極化しない」ということは嘘だとしたら「阿片法であるということはない」ということは成り立つ
事実3: 仮にこのネガティブセレクションが民法だとするとそれが過ぎ行かないしまたそれは阿片法であるということはない
事実4: 「このネガティブセレクションは分業するし二極化する」ということは成り立たない
事実5: 仮に何らかのものは過ぎ行かないとすると「分業するが二極化しない」ということは誤りだ
事実6: もし仮にこのネガティブセレクションが二極化するとするとそれは阿片法でない
事実7: このネガティブセレクションが阿片法だし過ぎ行く
事実8: このネガティブセレクションは二極化しない
事実9: このネガティブセレクションは過ぎ行く
事実10: もしも何かは経常利益率だということはないなら過ぎ行くししかも諸手である

仮説: このネガティブセレクションは分業する一方で二極化しない
1. 仮定1: 以下のように仮定する。「このネガティブセレクションは分業する一方で二極化しない」ということは成り立たない
2. 事実2と仮定1から、推論1: "このネガティブセレクションは阿片法でない"が導かれる
3. 事実7から、推論2: "このネガティブセレクションは阿片法だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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