あのアンダーアチーバーは対向車線である
fact1: もし仮になにがしかのものが端材なら対向車線だ fact2: もしも「とあるものは面映ゆいということはなくてそれに端材だということはない」ということは成り立つということはないとするとそれはヨットである fact3: あの出生率・死亡率は遣り易くない fact4: あのアンダーアチーバーが相通ずるとしたらそれは対向車線でない fact5: 仮にあの出生率・死亡率がタブだけど赤黒くないとするとそれは遣り易い fact6: その上階は端材であるとすると「あのアンダーアチーバーは面映ゆかないしさらに端材でない」ということは成り立たない fact7: もしも「あの出生率・死亡率はタブであるけど赤黒くない」ということは誤りならその上階は端材だ fact8: あのアンダーアチーバーは端材だとすれば「それはヨットである」ということは真実である fact9: 仮になにかはヨットであるとすれば「相通ずる」ということは成り立つ
void -> assump1: 以下のように仮定する。あの出生率・死亡率はタブだが赤黒くない; fact5 & assump1 -> int1: 「「あの出生率・死亡率は遣り易くない」ということは確かだ」ということは嘘だ; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの出生率・死亡率はタブだがそれは赤黒いということはない」ということは成り立たない; int3 & fact7 -> int4: 「その上階は端材だ」ということは確かである; int4 & fact6 -> int5: 「あのアンダーアチーバーは面映ゆかないしかつ端材だということはない」ということは事実と異なる; fact2 -> int6: もし仮に「あのアンダーアチーバーは面映ゆかなくてそれに端材であるということはない」ということは事実と異なるならヨットである; int5 & int6 -> int7: 「あのアンダーアチーバーはヨットだ」ということは成り立つ; fact9 -> int8: 「あのアンダーアチーバーがヨットだとすればあのアンダーアチーバーは相通ずる」ということは間違っていない; int7 & int8 -> int9: あのアンダーアチーバーは相通ずる; int9 & fact4 -> hypothesis;
あのアンダーアチーバーは対向車線だ
fact10 -> int10: もしあのアンダーアチーバーは端材であるならば「それは対向車線である」ということは真実である;
$facts$ = fact1: もし仮になにがしかのものが端材なら対向車線だ fact2: もしも「とあるものは面映ゆいということはなくてそれに端材だということはない」ということは成り立つということはないとするとそれはヨットである fact3: あの出生率・死亡率は遣り易くない fact4: あのアンダーアチーバーが相通ずるとしたらそれは対向車線でない fact5: 仮にあの出生率・死亡率がタブだけど赤黒くないとするとそれは遣り易い fact6: その上階は端材であるとすると「あのアンダーアチーバーは面映ゆかないしさらに端材でない」ということは成り立たない fact7: もしも「あの出生率・死亡率はタブであるけど赤黒くない」ということは誤りならその上階は端材だ fact8: あのアンダーアチーバーは端材だとすれば「それはヨットである」ということは真実である fact9: 仮になにかはヨットであるとすれば「相通ずる」ということは成り立つ ; $hypothesis$ = あのアンダーアチーバーは対向車線である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの出生率・死亡率はタブだが赤黒くない; fact5 & assump1 -> int1: 「「あの出生率・死亡率は遣り易くない」ということは確かだ」ということは嘘だ; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの出生率・死亡率はタブだがそれは赤黒いということはない」ということは成り立たない; int3 & fact7 -> int4: 「その上階は端材だ」ということは確かである; int4 & fact6 -> int5: 「あのアンダーアチーバーは面映ゆかないしかつ端材だということはない」ということは事実と異なる; fact2 -> int6: もし仮に「あのアンダーアチーバーは面映ゆかなくてそれに端材であるということはない」ということは事実と異なるならヨットである; int5 & int6 -> int7: 「あのアンダーアチーバーはヨットだ」ということは成り立つ; fact9 -> int8: 「あのアンダーアチーバーがヨットだとすればあのアンダーアチーバーは相通ずる」ということは間違っていない; int7 & int8 -> int9: あのアンダーアチーバーは相通ずる; int9 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものが端材なら対向車線だ
事実2: もしも「とあるものは面映ゆいということはなくてそれに端材だということはない」ということは成り立つということはないとするとそれはヨットである
事実3: あの出生率・死亡率は遣り易くない
事実4: あのアンダーアチーバーが相通ずるとしたらそれは対向車線でない
事実5: 仮にあの出生率・死亡率がタブだけど赤黒くないとするとそれは遣り易い
事実6: その上階は端材であるとすると「あのアンダーアチーバーは面映ゆかないしさらに端材でない」ということは成り立たない
事実7: もしも「あの出生率・死亡率はタブであるけど赤黒くない」ということは誤りならその上階は端材だ
事実8: あのアンダーアチーバーは端材だとすれば「それはヨットである」ということは真実である
事実9: 仮になにかはヨットであるとすれば「相通ずる」ということは成り立つ

仮説: あのアンダーアチーバーは対向車線である
1. 仮定1: 以下のように仮定する。あの出生率・死亡率はタブだが赤黒くない
2. 事実5と仮定1から、推論1: "「「あの出生率・死亡率は遣り易くない」ということは確かだ」ということは嘘だ"が導かれる
3. 推論1と事実3から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの出生率・死亡率はタブだがそれは赤黒いということはない」ということは成り立たない"が導かれる
5. 推論3と事実7から、推論4: "「その上階は端材だ」ということは確かである"が導かれる
6. 推論4と事実6から、推論5: "「あのアンダーアチーバーは面映ゆかないしかつ端材だということはない」ということは事実と異なる"が導かれる
7. 事実2から、推論6: "もし仮に「あのアンダーアチーバーは面映ゆかなくてそれに端材であるということはない」ということは事実と異なるならヨットである"が導かれる
8. 推論5と推論6から、推論7: "「あのアンダーアチーバーはヨットだ」ということは成り立つ"が導かれる
9. 事実9から、推論8: "「あのアンダーアチーバーがヨットだとすればあのアンダーアチーバーは相通ずる」ということは間違っていない"が導かれる
10. 推論7と推論8から、推論9: "あのアンダーアチーバーは相通ずる"が導かれる
11. 推論9と事実4から、仮説が否定される

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