「この看板方式は如此しかまたは松平信綱等だ」ということは成り立たない
fact1: もし仮に何かは仰臥するということはないとしたら「それは如此しかまたは松平信綱等であるかもしくは両方ともである」ということは成り立たない fact2: 「この看板方式は仰臥する」ということは成り立つならそれは如此し fact3: 何かは気怠いとしたらそれは松平信綱等であるしそれにそれは仰臥しない fact4: もしその第二主題が気怠くらなくて更に仰臥しないならばこの看板方式は仰臥しない fact5: もしこの育児休業中が女御だとするとその第二主題は六人分である fact6: もし「あのソウル市内は差し障らなくて更に女御でない」ということは間違っているなら「この育児休業中は女御である」ということは成り立つ fact7: 「その第二主題は把握方法でないしおまけにそれはイヤホンであるということはない」ということは成り立たない fact8: 「その第二主題は把握方法であるけれどイヤホンでない」ということは間違っている fact9: この育児休業中がＩＤ＿Ｃだけど気怠いということはないとすればあの蹄は気怠い fact10: 六人分は気怠くらないしその上ｉＤ＿Ｃであるということはない fact11: 仮にあの蹄が松平信綱等だが仰臥しないならこの看板方式は携う fact12: 「その第二主題は把握方法であるということはないしそれにイヤホンでない」ということは誤りであるとすると携う fact13: 恵み深くないものは携うない一方で凄まじい fact14: 仮にその第二主題が把握方法だとすると携う fact15: もしもその第二主題が携うならばあの看板方式は仰臥する fact16: 「あのソウル市内は差し障らなくてそれは女御でない」ということは成り立たない fact17: 「「擦り混ぜるし拙い」ということは嘘な」ものはある fact18: 仮に「「擦り混ぜるし拙い」ということは間違っている」ものがあるとするとあの蹄は恵み深くない fact19: 仮にこの看板方式が仰臥すればその第二主題は松平信綱等だ
fact12 & fact7 -> int1: その第二主題は携う; int1 & fact15 -> int2: この看板方式は仰臥する; int2 & fact2 -> int3: この看板方式は如此し; int3 -> hypothesis;
「この看板方式は如此しかもしくはそれは松平信綱等であるかもしくはどちらもである」ということは成り立たない
fact20 -> int4: もし仮にこの看板方式は仰臥しないとしたら「それは如此しかあるいは松平信綱等であるか両方ともだ」ということは事実と異なる; fact26 -> int5: 仮にその第二主題が六人分であるならばそれは気怠くらなくてかつＩＤ＿Ｃでない; fact21 & fact24 -> int6: この育児休業中は女御だ; fact22 & int6 -> int7: その第二主題は六人分である; int5 & int7 -> int8: その第二主題は気怠くらない物でおまけにＩＤ＿Ｃだということはない; int8 -> int9: その第二主題は気怠くらない; fact25 -> int10: もしあの蹄が恵み深いということはないとすればそれは携うないけれど凄まじい; fact27 & fact28 -> int11: あの蹄は恵み深くない; int10 & int11 -> int12: あの蹄は携うない一方で凄まじい; int12 -> int13: なにかは携うということはないがしかし凄まじい;
$facts$ = fact1: もし仮に何かは仰臥するということはないとしたら「それは如此しかまたは松平信綱等であるかもしくは両方ともである」ということは成り立たない fact2: 「この看板方式は仰臥する」ということは成り立つならそれは如此し fact3: 何かは気怠いとしたらそれは松平信綱等であるしそれにそれは仰臥しない fact4: もしその第二主題が気怠くらなくて更に仰臥しないならばこの看板方式は仰臥しない fact5: もしこの育児休業中が女御だとするとその第二主題は六人分である fact6: もし「あのソウル市内は差し障らなくて更に女御でない」ということは間違っているなら「この育児休業中は女御である」ということは成り立つ fact7: 「その第二主題は把握方法でないしおまけにそれはイヤホンであるということはない」ということは成り立たない fact8: 「その第二主題は把握方法であるけれどイヤホンでない」ということは間違っている fact9: この育児休業中がＩＤ＿Ｃだけど気怠いということはないとすればあの蹄は気怠い fact10: 六人分は気怠くらないしその上ｉＤ＿Ｃであるということはない fact11: 仮にあの蹄が松平信綱等だが仰臥しないならこの看板方式は携う fact12: 「その第二主題は把握方法であるということはないしそれにイヤホンでない」ということは誤りであるとすると携う fact13: 恵み深くないものは携うない一方で凄まじい fact14: 仮にその第二主題が把握方法だとすると携う fact15: もしもその第二主題が携うならばあの看板方式は仰臥する fact16: 「あのソウル市内は差し障らなくてそれは女御でない」ということは成り立たない fact17: 「「擦り混ぜるし拙い」ということは嘘な」ものはある fact18: 仮に「「擦り混ぜるし拙い」ということは間違っている」ものがあるとするとあの蹄は恵み深くない fact19: 仮にこの看板方式が仰臥すればその第二主題は松平信綱等だ ; $hypothesis$ = 「この看板方式は如此しかまたは松平信綱等だ」ということは成り立たない ; $proof$ = 
fact12 & fact7 -> int1: その第二主題は携う; int1 & fact15 -> int2: この看板方式は仰臥する; int2 & fact2 -> int3: この看板方式は如此し; int3 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは仰臥するということはないとしたら「それは如此しかまたは松平信綱等であるかもしくは両方ともである」ということは成り立たない
事実2: 「この看板方式は仰臥する」ということは成り立つならそれは如此し
事実3: 何かは気怠いとしたらそれは松平信綱等であるしそれにそれは仰臥しない
事実4: もしその第二主題が気怠くらなくて更に仰臥しないならばこの看板方式は仰臥しない
事実5: もしこの育児休業中が女御だとするとその第二主題は六人分である
事実6: もし「あのソウル市内は差し障らなくて更に女御でない」ということは間違っているなら「この育児休業中は女御である」ということは成り立つ
事実7: 「その第二主題は把握方法でないしおまけにそれはイヤホンであるということはない」ということは成り立たない
事実8: 「その第二主題は把握方法であるけれどイヤホンでない」ということは間違っている
事実9: この育児休業中がＩＤ＿Ｃだけど気怠いということはないとすればあの蹄は気怠い
事実10: 六人分は気怠くらないしその上ｉＤ＿Ｃであるということはない
事実11: 仮にあの蹄が松平信綱等だが仰臥しないならこの看板方式は携う
事実12: 「その第二主題は把握方法であるということはないしそれにイヤホンでない」ということは誤りであるとすると携う
事実13: 恵み深くないものは携うない一方で凄まじい
事実14: 仮にその第二主題が把握方法だとすると携う
事実15: もしもその第二主題が携うならばあの看板方式は仰臥する
事実16: 「あのソウル市内は差し障らなくてそれは女御でない」ということは成り立たない
事実17: 「「擦り混ぜるし拙い」ということは嘘な」ものはある
事実18: 仮に「「擦り混ぜるし拙い」ということは間違っている」ものがあるとするとあの蹄は恵み深くない
事実19: 仮にこの看板方式が仰臥すればその第二主題は松平信綱等だ

仮説: 「この看板方式は如此しかまたは松平信綱等だ」ということは成り立たない
1. 事実12と事実7から、推論1: "その第二主題は携う"が導かれる
2. 推論1と事実15から、推論2: "この看板方式は仰臥する"が導かれる
3. 推論2と事実2から、推論3: "この看板方式は如此し"が導かれる
4. 推論3から、仮説が否定される

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