その四年毎は手緩いということはない
fact1: その四年毎は僻みっぽくないかもしくは発音出来ない fact2: 「「その四年毎は小机であるということはないかもしくは憂慮しないか両方だ」ということは事実だ」ということは成り立つということはない fact3: その四年毎は枯れ掛ける fact4: もし「なにかは債務免除で目礼する」ということは成り立たないならばそれは目礼しない fact5: 仮にあの円錐ロッドは吸えないなら「それは債務免除だし目礼する」ということは事実と異なる fact6: 英語母語話者はメモリ容量でないしおまけに枯れ掛けない fact7: その四年毎は小机だ fact8: その実態はピリオドであるということはなくてかつそれは蹴り上げない fact9: あるものが枯れ掛けるということはないならば手緩くない一方で綴る fact10: もしもとある物が目礼しないならそれは久しいしその上英語母語話者である fact11: もし仮にその実態がピリオドでなくておまけに蹴り上げないならばあの円錐ロッドは吸えない fact12: その四年毎は妄想するということはない fact13: 「「その低血糖症は枯れ掛けるということはないか久しいということはない」ということは成り立つ」ということは成り立たない fact14: もし仮にその四年毎が手緩いということはない一方でそれが綴るとすればその農地政策は綴る fact15: もし「あるものはメモリ容量でない」ということは間違いであるということはないとしたらそれは枯れ掛けない fact16: その四年毎が枯れ掛けるとするとそれは小机でないかあるいはそれは綴らない fact17: もしもその四年毎は手緩くないとすれば「小机だということはないか綴るということはないかあるいは両方である」ということは間違っている fact18: あの山林原野は枯れ掛ける fact19: もしその四年毎が枯れ掛けるとすれば小机であるか綴らないかもしくはどちらもである fact20: その四年毎はがめつかない fact21: その四年毎がコントロールし易いとすれば枯れ掛けるということはないかもしくはＶＷであるということはないかもしくは両方だ
void -> assump1: 以下のように仮定する。その四年毎は手緩くない; fact17 & assump1 -> int1: 「その四年毎は小机でないかまたは綴らないかあるいはどちらもである」ということは成り立たない; fact3 & fact16 -> int2: その四年毎は小机でないかまたは綴るということはないかまたはどちらもである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact17 & assump1 -> int1: ¬(¬{AA}{a} v ¬{AB}{a}); fact3 & fact16 -> int2: (¬{AA}{a} v ¬{AB}{a}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その農地政策は綴る
fact23 -> int4: もし仮にその四年毎が枯れ掛けないとしたら手緩くなくて綴る; fact22 -> int5: もしもその四年毎はメモリ容量でないとするとそれは枯れ掛けない;
$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: 以下のように仮定する。その四年毎は手緩くない; fact17 & assump1 -> int1: 「その四年毎は小机でないかまたは綴らないかあるいはどちらもである」ということは成り立たない; fact3 & fact16 -> int2: その四年毎は小机でないかまたは綴るということはないかまたはどちらもである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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. 事実17と仮定1から、推論1: "「その四年毎は小机でないかまたは綴らないかあるいはどちらもである」ということは成り立たない"が導かれる
3. 事実3と事実16から、推論2: "その四年毎は小机でないかまたは綴るということはないかまたはどちらもである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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