その主義は古い
fact1: あの調音は一軍である fact2: 仮にあの認識論は轟き渡るということはない一方で入力するならそれは絶え難くない fact3: もしあの調音は絶え難いとしたら「レベル以下である」ということは本当だ fact4: もし仮にあの認識論は絶え難いということはないが肌寒いとしたらそれはアルバイト先でない fact5: もしもその預かり手形が入力しないけれどそれはレベル以下なら「その主義は雪深い」ということは本当だ fact6: 「もし「あの保持増進は拙い」ということは正しいならあの調音は雪深い」ということは正しい fact7: 仮にあの調音がレベル以下であるとするとその主義はレベル以下であるがしかし節制しない fact8: その預かり手形は入力しない fact9: あの調音が入力しないけど節制するとしたらその主義は雪深い fact10: あの認識論は轟き渡る fact11: もしとあるものが拙くないとすると古いししかもそれはアルバイト先だ fact12: 仮にその預かり手形が入力するということはないが轟き渡るならあの保持増進は拙い fact13: その主義はアルバイト先だということはないけど肌寒いとすれば節制しない fact14: あの認識論は肌寒い fact15: あるものはレベル以下であるけれど節制しないなら古くない fact16: 「仮にあの調音がレベル以下でないならばあの調音は修正すらないしおまけにそれはアルバイト先でない」ということは本当である fact17: 「「「拙くてそれにアルバイト先だ」ということは確かだ」ということは嘘な」ものはある fact18: もしも「あの認識論は古い」ということは本当であるとしたらその主義は古い fact19: あの認識論は絶え難いということはないけど肌寒い fact20: もし「「入力しないけど轟き渡る」ということは成り立たない」物があるならあの認識論はアルバイト先だ fact21: なにかは雪深いとするとレベル以下である
void -> assump1: 以下のように仮定する。「その預かり手形は入力しないけれど轟き渡る」ということは間違いである; assump1 -> int1: 「「入力しなくて加えて轟き渡る」ということは誤りである」ものはある; int1 & fact20 -> int2: あの認識論はアルバイト先である; fact19 & fact4 -> int3: あの認識論はアルバイト先だということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その預かり手形は入力しないけど轟き渡る; int5 & fact12 -> int6: 「あの保持増進は拙い」ということは成り立つ; int6 & fact6 -> int7: あの調音は雪深い; fact21 -> int8: 仮にあの調音が雪深いならそれはレベル以下である; int7 & int8 -> int9: あの調音はレベル以下である; int9 & fact7 -> int10: その主義はレベル以下であるけれど節制しない; fact15 -> int11: もしもその主義はレベル以下だが節制しないならそれは古くない; int10 & int11 -> hypothesis;
あの調音は修正すということはない一方で形成し易い
$facts$ = fact1: あの調音は一軍である fact2: 仮にあの認識論は轟き渡るということはない一方で入力するならそれは絶え難くない fact3: もしあの調音は絶え難いとしたら「レベル以下である」ということは本当だ fact4: もし仮にあの認識論は絶え難いということはないが肌寒いとしたらそれはアルバイト先でない fact5: もしもその預かり手形が入力しないけれどそれはレベル以下なら「その主義は雪深い」ということは本当だ fact6: 「もし「あの保持増進は拙い」ということは正しいならあの調音は雪深い」ということは正しい fact7: 仮にあの調音がレベル以下であるとするとその主義はレベル以下であるがしかし節制しない fact8: その預かり手形は入力しない fact9: あの調音が入力しないけど節制するとしたらその主義は雪深い fact10: あの認識論は轟き渡る fact11: もしとあるものが拙くないとすると古いししかもそれはアルバイト先だ fact12: 仮にその預かり手形が入力するということはないが轟き渡るならあの保持増進は拙い fact13: その主義はアルバイト先だということはないけど肌寒いとすれば節制しない fact14: あの認識論は肌寒い fact15: あるものはレベル以下であるけれど節制しないなら古くない fact16: 「仮にあの調音がレベル以下でないならばあの調音は修正すらないしおまけにそれはアルバイト先でない」ということは本当である fact17: 「「「拙くてそれにアルバイト先だ」ということは確かだ」ということは嘘な」ものはある fact18: もしも「あの認識論は古い」ということは本当であるとしたらその主義は古い fact19: あの認識論は絶え難いということはないけど肌寒い fact20: もし「「入力しないけど轟き渡る」ということは成り立たない」物があるならあの認識論はアルバイト先だ fact21: なにかは雪深いとするとレベル以下である ; $hypothesis$ = その主義は古い ; $proof$ = 
void -> assump1: 以下のように仮定する。「その預かり手形は入力しないけれど轟き渡る」ということは間違いである; assump1 -> int1: 「「入力しなくて加えて轟き渡る」ということは誤りである」ものはある; int1 & fact20 -> int2: あの認識論はアルバイト先である; fact19 & fact4 -> int3: あの認識論はアルバイト先だということはない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その預かり手形は入力しないけど轟き渡る; int5 & fact12 -> int6: 「あの保持増進は拙い」ということは成り立つ; int6 & fact6 -> int7: あの調音は雪深い; fact21 -> int8: 仮にあの調音が雪深いならそれはレベル以下である; int7 & int8 -> int9: あの調音はレベル以下である; int9 & fact7 -> int10: その主義はレベル以下であるけれど節制しない; fact15 -> int11: もしもその主義はレベル以下だが節制しないならそれは古くない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: あの調音は一軍である
事実2: 仮にあの認識論は轟き渡るということはない一方で入力するならそれは絶え難くない
事実3: もしあの調音は絶え難いとしたら「レベル以下である」ということは本当だ
事実4: もし仮にあの認識論は絶え難いということはないが肌寒いとしたらそれはアルバイト先でない
事実5: もしもその預かり手形が入力しないけれどそれはレベル以下なら「その主義は雪深い」ということは本当だ
事実6: 「もし「あの保持増進は拙い」ということは正しいならあの調音は雪深い」ということは正しい
事実7: 仮にあの調音がレベル以下であるとするとその主義はレベル以下であるがしかし節制しない
事実8: その預かり手形は入力しない
事実9: あの調音が入力しないけど節制するとしたらその主義は雪深い
事実10: あの認識論は轟き渡る
事実11: もしとあるものが拙くないとすると古いししかもそれはアルバイト先だ
事実12: 仮にその預かり手形が入力するということはないが轟き渡るならあの保持増進は拙い
事実13: その主義はアルバイト先だということはないけど肌寒いとすれば節制しない
事実14: あの認識論は肌寒い
事実15: あるものはレベル以下であるけれど節制しないなら古くない
事実16: 「仮にあの調音がレベル以下でないならばあの調音は修正すらないしおまけにそれはアルバイト先でない」ということは本当である
事実17: 「「「拙くてそれにアルバイト先だ」ということは確かだ」ということは嘘な」ものはある
事実18: もしも「あの認識論は古い」ということは本当であるとしたらその主義は古い
事実19: あの認識論は絶え難いということはないけど肌寒い
事実20: もし「「入力しないけど轟き渡る」ということは成り立たない」物があるならあの認識論はアルバイト先だ
事実21: なにかは雪深いとするとレベル以下である

仮説: その主義は古い
1. 仮定1: 以下のように仮定する。「その預かり手形は入力しないけれど轟き渡る」ということは間違いである
2. 仮定1から、推論1: "「「入力しなくて加えて轟き渡る」ということは誤りである」ものはある"が導かれる
3. 推論1と事実20から、推論2: "あの認識論はアルバイト先である"が導かれる
4. 事実19と事実4から、推論3: "あの認識論はアルバイト先だということはない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その預かり手形は入力しないけど轟き渡る"が導かれる
7. 推論5と事実12から、推論6: "「あの保持増進は拙い」ということは成り立つ"が導かれる
8. 推論6と事実6から、推論7: "あの調音は雪深い"が導かれる
9. 事実21から、推論8: "仮にあの調音が雪深いならそれはレベル以下である"が導かれる
10. 推論7と推論8から、推論9: "あの調音はレベル以下である"が導かれる
11. 推論9と事実7から、推論10: "その主義はレベル以下であるけれど節制しない"が導かれる
12. 事実15から、推論11: "もしもその主義はレベル以下だが節制しないならそれは古くない"が導かれる
13. 推論10と推論11から、仮説が否定される

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