その老杉は取り合わせない
fact1: あの大目付けは担当官であるしそれは駆動流だ fact2: 仮に「あの大目付けは形成し易くないけど司法改革である」ということは成り立たないとすればその教法流布は担当官である fact3: もしもその教法流布が形成し易いということはないけどＫ男ならあの大目付けは担当官でない fact4: もし仮にその教法流布が形成し易いし更にＫ男であるならあの大目付けは担当官でない fact5: もしもその教法流布は形成し易いならば「あの第三章水素は司法改革だ」ということは成り立つ fact6: あの第三章水素は取り合わせない fact7: あの大目付けは形成し易い fact8: もし仮に何かは将軍陛下でないとすればそれは司法改革でまた駆動流である fact9: あの第三章水素は司法改革であるとすると「その老杉は取り合わせる」ということは成り立つ fact10: もしも「その教法流布は太り難い」ということは成り立つとすればそれは試行錯誤するし加えて将軍陛下でない fact11: 仮にその教法流布が担当官でないがしかし取り合わせるとすると「その老杉は取り合わせない」ということは成り立つ fact12: 「「その教法流布は形成し易くないけどＫ男だ」ということは間違いである」ということは成り立つならあの第三章水素は司法改革だ
void -> assump1: 以下のように仮定する。その教法流布は形成し易くないがＫ男だ; fact3 & assump1 -> int1: 「あの大目付けは担当官でない」ということは成り立つ; fact1 -> int2: あの大目付けは担当官だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その教法流布は形成し易くない一方でＫ男だ」ということは誤っている; int4 & fact12 -> int5: あの第三章水素は司法改革だ; int5 & fact9 -> hypothesis;
「その老杉は取り合わせない」ということは本当だ
fact14 -> int6: もし仮にその教法流布は将軍陛下であるということはないなら司法改革だしかつ駆動流である;
$facts$ = fact1: あの大目付けは担当官であるしそれは駆動流だ fact2: 仮に「あの大目付けは形成し易くないけど司法改革である」ということは成り立たないとすればその教法流布は担当官である fact3: もしもその教法流布が形成し易いということはないけどＫ男ならあの大目付けは担当官でない fact4: もし仮にその教法流布が形成し易いし更にＫ男であるならあの大目付けは担当官でない fact5: もしもその教法流布は形成し易いならば「あの第三章水素は司法改革だ」ということは成り立つ fact6: あの第三章水素は取り合わせない fact7: あの大目付けは形成し易い fact8: もし仮に何かは将軍陛下でないとすればそれは司法改革でまた駆動流である fact9: あの第三章水素は司法改革であるとすると「その老杉は取り合わせる」ということは成り立つ fact10: もしも「その教法流布は太り難い」ということは成り立つとすればそれは試行錯誤するし加えて将軍陛下でない fact11: 仮にその教法流布が担当官でないがしかし取り合わせるとすると「その老杉は取り合わせない」ということは成り立つ fact12: 「「その教法流布は形成し易くないけどＫ男だ」ということは間違いである」ということは成り立つならあの第三章水素は司法改革だ ; $hypothesis$ = その老杉は取り合わせない ; $proof$ = 
void -> assump1: 以下のように仮定する。その教法流布は形成し易くないがＫ男だ; fact3 & assump1 -> int1: 「あの大目付けは担当官でない」ということは成り立つ; fact1 -> int2: あの大目付けは担当官だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その教法流布は形成し易くない一方でＫ男だ」ということは誤っている; int4 & fact12 -> int5: あの第三章水素は司法改革だ; int5 & fact9 -> hypothesis; __DISPROVED__
事実1: あの大目付けは担当官であるしそれは駆動流だ
事実2: 仮に「あの大目付けは形成し易くないけど司法改革である」ということは成り立たないとすればその教法流布は担当官である
事実3: もしもその教法流布が形成し易いということはないけどＫ男ならあの大目付けは担当官でない
事実4: もし仮にその教法流布が形成し易いし更にＫ男であるならあの大目付けは担当官でない
事実5: もしもその教法流布は形成し易いならば「あの第三章水素は司法改革だ」ということは成り立つ
事実6: あの第三章水素は取り合わせない
事実7: あの大目付けは形成し易い
事実8: もし仮に何かは将軍陛下でないとすればそれは司法改革でまた駆動流である
事実9: あの第三章水素は司法改革であるとすると「その老杉は取り合わせる」ということは成り立つ
事実10: もしも「その教法流布は太り難い」ということは成り立つとすればそれは試行錯誤するし加えて将軍陛下でない
事実11: 仮にその教法流布が担当官でないがしかし取り合わせるとすると「その老杉は取り合わせない」ということは成り立つ
事実12: 「「その教法流布は形成し易くないけどＫ男だ」ということは間違いである」ということは成り立つならあの第三章水素は司法改革だ

仮説: その老杉は取り合わせない
1. 仮定1: 以下のように仮定する。その教法流布は形成し易くないがＫ男だ
2. 事実3と仮定1から、推論1: "「あの大目付けは担当官でない」ということは成り立つ"が導かれる
3. 事実1から、推論2: "あの大目付けは担当官だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その教法流布は形成し易くない一方でＫ男だ」ということは誤っている"が導かれる
6. 推論4と事実12から、推論5: "あの第三章水素は司法改革だ"が導かれる
7. 推論5と事実9から、仮説が否定される

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