「もしもこの二十六ページ掲載が喋り難いとすればそのダンススタジオは招き易い」ということは間違いである
fact1: 仮に「「始原であるし加えて慎ましくない」ということは間違いである」物があるとしたらこの二十六ページ掲載は喋り難い fact2: 「「始原でそれに慎ましくない」ということは誤っている」ものはあるとしたら「この二十六ページ掲載は喋り難いということはない」ということは成り立つ fact3: もしもその実験群ナンバーが広ーいけど書き合わないとすると「「「あの提唱録は愛くるしい」ということは事実だ」ということは成り立つということはない」ということは正しい fact4: そのノーズが水稲荷神社でないならばその実験群ナンバーは広ーい fact5: その実験群ナンバーは広ーい fact6: 何かは始原である一方で慎ましくないとするとそれは水稲荷神社でない fact7: 喋り難い物は始原だ fact8: そのノーズは始原である fact9: なにかは水稲荷神社であるとしたらそれは喋り難い fact10: 「もしそのノーズが水稲荷神社でないとすればその実験群ナンバーは広ーい一方で書き合わない」ということは本当である fact11: もし仮にあの提唱録が愛くるしくないならばあのダンススタジオは招き易い
void -> assump1: 以下のように仮定する。「そのノーズは始原であるがしかしそれは慎ましくない」ということは間違いだ; assump1 -> int1: 「「始原だし慎ましくない」ということは誤りな」ものはある; int1 & fact2 -> int2: この二十六ページ掲載は喋り難くない; void -> assump2: 以下のように仮定する。この二十六ページ掲載は喋り難い; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのノーズは始原であるが慎ましいということはない; fact6 -> int5: もしそのノーズが始原である一方で慎ましくないならばそれは水稲荷神社でない; int4 & int5 -> int6: そのノーズは水稲荷神社でない; int6 & fact10 -> int7: その実験群ナンバーは広ーいけど書き合わない; int7 & fact3 -> int8: あの提唱録は愛くるしくない; int8 & fact11 -> int9: そのダンススタジオは招き易い; [assump2] & int9 -> hypothesis;
あの提唱録は始原である
fact12 -> int10: もしもあの提唱録が喋り難いなら始原である; fact13 -> int11: あの提唱録は水稲荷神社であるとすれば喋り難い;
$facts$ = fact1: 仮に「「始原であるし加えて慎ましくない」ということは間違いである」物があるとしたらこの二十六ページ掲載は喋り難い fact2: 「「始原でそれに慎ましくない」ということは誤っている」ものはあるとしたら「この二十六ページ掲載は喋り難いということはない」ということは成り立つ fact3: もしもその実験群ナンバーが広ーいけど書き合わないとすると「「「あの提唱録は愛くるしい」ということは事実だ」ということは成り立つということはない」ということは正しい fact4: そのノーズが水稲荷神社でないならばその実験群ナンバーは広ーい fact5: その実験群ナンバーは広ーい fact6: 何かは始原である一方で慎ましくないとするとそれは水稲荷神社でない fact7: 喋り難い物は始原だ fact8: そのノーズは始原である fact9: なにかは水稲荷神社であるとしたらそれは喋り難い fact10: 「もしそのノーズが水稲荷神社でないとすればその実験群ナンバーは広ーい一方で書き合わない」ということは本当である fact11: もし仮にあの提唱録が愛くるしくないならばあのダンススタジオは招き易い ; $hypothesis$ = 「もしもこの二十六ページ掲載が喋り難いとすればそのダンススタジオは招き易い」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのノーズは始原であるがしかしそれは慎ましくない」ということは間違いだ; assump1 -> int1: 「「始原だし慎ましくない」ということは誤りな」ものはある; int1 & fact2 -> int2: この二十六ページ掲載は喋り難くない; void -> assump2: 以下のように仮定する。この二十六ページ掲載は喋り難い; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのノーズは始原であるが慎ましいということはない; fact6 -> int5: もしそのノーズが始原である一方で慎ましくないならばそれは水稲荷神社でない; int4 & int5 -> int6: そのノーズは水稲荷神社でない; int6 & fact10 -> int7: その実験群ナンバーは広ーいけど書き合わない; int7 & fact3 -> int8: あの提唱録は愛くるしくない; int8 & fact11 -> int9: そのダンススタジオは招き易い; [assump2] & int9 -> hypothesis; __DISPROVED__
事実1: 仮に「「始原であるし加えて慎ましくない」ということは間違いである」物があるとしたらこの二十六ページ掲載は喋り難い
事実2: 「「始原でそれに慎ましくない」ということは誤っている」ものはあるとしたら「この二十六ページ掲載は喋り難いということはない」ということは成り立つ
事実3: もしもその実験群ナンバーが広ーいけど書き合わないとすると「「「あの提唱録は愛くるしい」ということは事実だ」ということは成り立つということはない」ということは正しい
事実4: そのノーズが水稲荷神社でないならばその実験群ナンバーは広ーい
事実5: その実験群ナンバーは広ーい
事実6: 何かは始原である一方で慎ましくないとするとそれは水稲荷神社でない
事実7: 喋り難い物は始原だ
事実8: そのノーズは始原である
事実9: なにかは水稲荷神社であるとしたらそれは喋り難い
事実10: 「もしそのノーズが水稲荷神社でないとすればその実験群ナンバーは広ーい一方で書き合わない」ということは本当である
事実11: もし仮にあの提唱録が愛くるしくないならばあのダンススタジオは招き易い

仮説: 「もしもこの二十六ページ掲載が喋り難いとすればそのダンススタジオは招き易い」ということは間違いである
1. 仮定1: 以下のように仮定する。「そのノーズは始原であるがしかしそれは慎ましくない」ということは間違いだ
2. 仮定1から、推論1: "「「始原だし慎ましくない」ということは誤りな」ものはある"が導かれる
3. 推論1と事実2から、推論2: "この二十六ページ掲載は喋り難くない"が導かれる
4. 仮定2: 以下のように仮定する。この二十六ページ掲載は喋り難い
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "そのノーズは始原であるが慎ましいということはない"が導かれる
7. 事実6から、推論5: "もしそのノーズが始原である一方で慎ましくないならばそれは水稲荷神社でない"が導かれる
8. 推論4と推論5から、推論6: "そのノーズは水稲荷神社でない"が導かれる
9. 推論6と事実10から、推論7: "その実験群ナンバーは広ーいけど書き合わない"が導かれる
10. 推論7と事実3から、推論8: "あの提唱録は愛くるしくない"が導かれる
11. 推論8と事実11から、推論9: "そのダンススタジオは招き易い"が導かれる
12. [仮定2]と推論9から、仮説が否定される

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