この足全体はテクノであるしそれに送り続ける
fact1: その英単語は町作り懇談会でない fact2: 「この忘年会は町作り懇談会である」ということは正しい fact3: この忘年会は観光客らしくないとすると「それは農業所得でなくてそれに胃酸だ」ということは成り立たない fact4: 観光客らしい物は受け難い fact5: もしもその英単語が受け難いということはないとしたら認め難い fact6: その英単語は胃酸である fact7: 「「農業所得で胃酸だ」ということは間違いな」ものはある fact8: もし仮にこの忘年会が町作り懇談会ならそれは認め難くないし更に苦しい fact9: もし「「農業所得でなくて更に胃酸である」ということは間違いな」ものがあるとすればその英単語は苦しい fact10: 「この忘年会は農業所得であるしその上胃酸だ」ということは事実と異なる fact11: この胸襟は観光客らしい fact12: 町作り懇談会は送り続けない fact13: もしも「その英単語は町作り懇談会でない」ということは間違いでないとしたら苦しくないし認め難い fact14: もし仮になにがしかのものは受け難いなら「オーバースプレーしない」ということは本当である fact15: その英単語は認め難い fact16: その英単語が町作り懇談会だということはないならそれは認め難い fact17: 「あのイタリア王国は町作り懇談会であるし笑い過ぎる」ということは成り立たない fact18: この足全体は町作り懇談会でない fact19: もしもこの忘年会はオーバースプレーしないなら「この足全体はテクノであるし送り続ける」ということは事実と異なる fact20: その英単語は観光客らしくない fact21: この忘年会は観光客らしくないとすると「それは農業所得だし胃酸である」ということは嘘である fact22: もしもなにがしかのものが農業所得だとしたらその英単語は苦しい fact23: 何かは農業所得でないけれど胃酸だ fact24: もしも「この忘年会は認め難くないが苦しい」ということは正しいならばあの足全体は苦しくない
void -> assump1: 以下のように仮定する。この忘年会は観光客らしくない; fact3 & assump1 -> int1: 「この忘年会は農業所得でないがそれは胃酸である」ということは成り立たない; int1 -> int2: 「「農業所得でない一方で胃酸だ」ということは事実と異なる」ものはある; int2 & fact9 -> int3: その英単語は苦しい; fact13 & fact1 -> int4: その英単語は苦しいということはないけど認め難い; int4 -> int5: その英単語は苦しくない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この忘年会は観光客らしい; fact4 -> int8: もしもこの忘年会が観光客らしいとすればそれは受け難い; int7 & int8 -> int9: この忘年会は受け難い; fact14 -> int10: この忘年会が受け難いとしたらオーバースプレーしない; int9 & int10 -> int11: この忘年会はオーバースプレーしない; int11 & fact19 -> hypothesis;
この足全体はテクノだし送り続ける
fact25 & fact27 -> int12: この忘年会は認め難いということはないがしかし苦しい; fact26 & int12 -> int13: この足全体は苦しくない;
$facts$ = fact1: その英単語は町作り懇談会でない fact2: 「この忘年会は町作り懇談会である」ということは正しい fact3: この忘年会は観光客らしくないとすると「それは農業所得でなくてそれに胃酸だ」ということは成り立たない fact4: 観光客らしい物は受け難い fact5: もしもその英単語が受け難いということはないとしたら認め難い fact6: その英単語は胃酸である fact7: 「「農業所得で胃酸だ」ということは間違いな」ものはある fact8: もし仮にこの忘年会が町作り懇談会ならそれは認め難くないし更に苦しい fact9: もし「「農業所得でなくて更に胃酸である」ということは間違いな」ものがあるとすればその英単語は苦しい fact10: 「この忘年会は農業所得であるしその上胃酸だ」ということは事実と異なる fact11: この胸襟は観光客らしい fact12: 町作り懇談会は送り続けない fact13: もしも「その英単語は町作り懇談会でない」ということは間違いでないとしたら苦しくないし認め難い fact14: もし仮になにがしかのものは受け難いなら「オーバースプレーしない」ということは本当である fact15: その英単語は認め難い fact16: その英単語が町作り懇談会だということはないならそれは認め難い fact17: 「あのイタリア王国は町作り懇談会であるし笑い過ぎる」ということは成り立たない fact18: この足全体は町作り懇談会でない fact19: もしもこの忘年会はオーバースプレーしないなら「この足全体はテクノであるし送り続ける」ということは事実と異なる fact20: その英単語は観光客らしくない fact21: この忘年会は観光客らしくないとすると「それは農業所得だし胃酸である」ということは嘘である fact22: もしもなにがしかのものが農業所得だとしたらその英単語は苦しい fact23: 何かは農業所得でないけれど胃酸だ fact24: もしも「この忘年会は認め難くないが苦しい」ということは正しいならばあの足全体は苦しくない ; $hypothesis$ = この足全体はテクノであるしそれに送り続ける ; $proof$ = 
void -> assump1: 以下のように仮定する。この忘年会は観光客らしくない; fact3 & assump1 -> int1: 「この忘年会は農業所得でないがそれは胃酸である」ということは成り立たない; int1 -> int2: 「「農業所得でない一方で胃酸だ」ということは事実と異なる」ものはある; int2 & fact9 -> int3: その英単語は苦しい; fact13 & fact1 -> int4: その英単語は苦しいということはないけど認め難い; int4 -> int5: その英単語は苦しくない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この忘年会は観光客らしい; fact4 -> int8: もしもこの忘年会が観光客らしいとすればそれは受け難い; int7 & int8 -> int9: この忘年会は受け難い; fact14 -> int10: この忘年会が受け難いとしたらオーバースプレーしない; int9 & int10 -> int11: この忘年会はオーバースプレーしない; int11 & fact19 -> hypothesis; __DISPROVED__
事実1: その英単語は町作り懇談会でない
事実2: 「この忘年会は町作り懇談会である」ということは正しい
事実3: この忘年会は観光客らしくないとすると「それは農業所得でなくてそれに胃酸だ」ということは成り立たない
事実4: 観光客らしい物は受け難い
事実5: もしもその英単語が受け難いということはないとしたら認め難い
事実6: その英単語は胃酸である
事実7: 「「農業所得で胃酸だ」ということは間違いな」ものはある
事実8: もし仮にこの忘年会が町作り懇談会ならそれは認め難くないし更に苦しい
事実9: もし「「農業所得でなくて更に胃酸である」ということは間違いな」ものがあるとすればその英単語は苦しい
事実10: 「この忘年会は農業所得であるしその上胃酸だ」ということは事実と異なる
事実11: この胸襟は観光客らしい
事実12: 町作り懇談会は送り続けない
事実13: もしも「その英単語は町作り懇談会でない」ということは間違いでないとしたら苦しくないし認め難い
事実14: もし仮になにがしかのものは受け難いなら「オーバースプレーしない」ということは本当である
事実15: その英単語は認め難い
事実16: その英単語が町作り懇談会だということはないならそれは認め難い
事実17: 「あのイタリア王国は町作り懇談会であるし笑い過ぎる」ということは成り立たない
事実18: この足全体は町作り懇談会でない
事実19: もしもこの忘年会はオーバースプレーしないなら「この足全体はテクノであるし送り続ける」ということは事実と異なる
事実20: その英単語は観光客らしくない
事実21: この忘年会は観光客らしくないとすると「それは農業所得だし胃酸である」ということは嘘である
事実22: もしもなにがしかのものが農業所得だとしたらその英単語は苦しい
事実23: 何かは農業所得でないけれど胃酸だ
事実24: もしも「この忘年会は認め難くないが苦しい」ということは正しいならばあの足全体は苦しくない

仮説: この足全体はテクノであるしそれに送り続ける
1. 仮定1: 以下のように仮定する。この忘年会は観光客らしくない
2. 事実3と仮定1から、推論1: "「この忘年会は農業所得でないがそれは胃酸である」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「農業所得でない一方で胃酸だ」ということは事実と異なる」ものはある"が導かれる
4. 推論2と事実9から、推論3: "その英単語は苦しい"が導かれる
5. 事実13と事実1から、推論4: "その英単語は苦しいということはないけど認め難い"が導かれる
6. 推論4から、推論5: "その英単語は苦しくない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この忘年会は観光客らしい"が導かれる
9. 事実4から、推論8: "もしもこの忘年会が観光客らしいとすればそれは受け難い"が導かれる
10. 推論7と推論8から、推論9: "この忘年会は受け難い"が導かれる
11. 事実14から、推論10: "この忘年会が受け難いとしたらオーバースプレーしない"が導かれる
12. 推論9と推論10から、推論11: "この忘年会はオーバースプレーしない"が導かれる
13. 推論11と事実19から、仮説が否定される

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