あの停車駅は冷たい
fact1: もしあの停車駅が熱しないならばそれは極まりない fact2: あの停車駅は緩和出来る fact3: あの十二式太極拳は得られ易い fact4: 「上位等級が帰宅出来るとすると懐かしない」ということは成り立つ fact5: 仮に何かは緩和出来るが上位等級でないとすれば帰宅出来る fact6: もしなにがしかのものが緩和出来るしおまけにそれが上位等級だとすればそれは帰宅出来ない fact7: もし「あの十二式太極拳は緩和出来るしその上残り難い」ということは成り立たないとすればあの保管状況は上位等級でない fact8: 「「得られ易いがしかし懐かしない」ということは間違っている」物はある fact9: あの十二式太極拳は緩和出来る fact10: あの後代は緩和出来る fact11: もし「あの報道は帰宅出来ないがしかし上位等級だ」ということは成り立つということはないとしたら残り難くない fact12: もしも「何らかのものは懐かしし加えてそれは得られ易い」ということは成り立つとしたら冷たくない fact13: もしもあの十二式太極拳が緩和出来るならあの保管状況は緩和出来る fact14: なにかは帰宅出来ないが上位等級だとするとあの保管状況は緩和出来るということはない fact15: ある物が残り難いとすればそれは上位等級だ fact16: もし「あの停車駅は極まりないが熱しない」ということは成り立たないとすると懐かし fact17: もしもあの報道は残り難くないとすれば「あの停車駅は極まりないけど熱しない」ということは嘘だ fact18: 仮になにがしかの物は極まりなくないとすると「それは緩和出来るしさらに残り難い」ということは成り立たない fact19: 「あの十二式太極拳は熱するかまたは残り難くない」ということは嘘であるならばあの保管状況は残り難くない fact20: あの停車駅は得られ易い fact21: もし仮にあの十二式太極拳が緩和出来ないならそれは極まりなくない fact22: あの義務感が極まりないとしたらそれは上位等級である fact23: 仮になにかは帰宅出来ないならば「使命感だがしかし転がり出ない」ということは成り立たない fact24: もし仮にあの十二式太極拳は得られ易いなら「それは熱するししかもそれは懐かしない」ということは確かでない fact25: その営業支援は得られ易いし更に農民的土地所有だ
void -> assump1: 以下のように仮定する。あの報道は帰宅出来るということはないけれどそれは上位等級である; assump1 -> int1: なにがしかの物は帰宅出来ないけれどそれは上位等級だ; int1 & fact14 -> int2: 「あの保管状況は緩和出来ない」ということは事実である; fact13 & fact9 -> int3: 「あの保管状況は緩和出来る」ということは確かだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの報道は帰宅出来ない一方で上位等級だ」ということは間違っている; int5 & fact11 -> int6: あの報道は残り難くない; int6 & fact17 -> int7: 「あの停車駅は極まりないがしかしそれは熱するということはない」ということは誤りである; int7 & fact16 -> int8: あの停車駅は懐かし; int8 & fact20 -> int9: あの停車駅は懐かしし加えて得られ易い; fact12 -> int10: あの停車駅は懐かしし更に得られ易いならばそれは冷たくない; int9 & int10 -> hypothesis;
あの停車駅は冷たい
fact28 -> int11: 仮にあの十二式太極拳は極まりなくないとしたら「それは緩和出来るしそれに残り難い」ということは事実であるということはない; fact27 & fact26 -> int12: 「「あの十二式太極拳は熱するけれど懐かしない」ということは成り立たない」ということは成り立つ;
$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: もし仮にあの十二式太極拳は得られ易いなら「それは熱するししかもそれは懐かしない」ということは確かでない fact25: その営業支援は得られ易いし更に農民的土地所有だ ; $hypothesis$ = あの停車駅は冷たい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの報道は帰宅出来るということはないけれどそれは上位等級である; assump1 -> int1: なにがしかの物は帰宅出来ないけれどそれは上位等級だ; int1 & fact14 -> int2: 「あの保管状況は緩和出来ない」ということは事実である; fact13 & fact9 -> int3: 「あの保管状況は緩和出来る」ということは確かだ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの報道は帰宅出来ない一方で上位等級だ」ということは間違っている; int5 & fact11 -> int6: あの報道は残り難くない; int6 & fact17 -> int7: 「あの停車駅は極まりないがしかしそれは熱するということはない」ということは誤りである; int7 & fact16 -> int8: あの停車駅は懐かし; int8 & fact20 -> int9: あの停車駅は懐かしし加えて得られ易い; fact12 -> int10: あの停車駅は懐かしし更に得られ易いならばそれは冷たくない; int9 & int10 -> 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: もし仮にあの十二式太極拳は得られ易いなら「それは熱するししかもそれは懐かしない」ということは確かでない
事実25: その営業支援は得られ易いし更に農民的土地所有だ

仮説: あの停車駅は冷たい
1. 仮定1: 以下のように仮定する。あの報道は帰宅出来るということはないけれどそれは上位等級である
2. 仮定1から、推論1: "なにがしかの物は帰宅出来ないけれどそれは上位等級だ"が導かれる
3. 推論1と事実14から、推論2: "「あの保管状況は緩和出来ない」ということは事実である"が導かれる
4. 事実13と事実9から、推論3: "「あの保管状況は緩和出来る」ということは確かだ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの報道は帰宅出来ない一方で上位等級だ」ということは間違っている"が導かれる
7. 推論5と事実11から、推論6: "あの報道は残り難くない"が導かれる
8. 推論6と事実17から、推論7: "「あの停車駅は極まりないがしかしそれは熱するということはない」ということは誤りである"が導かれる
9. 推論7と事実16から、推論8: "あの停車駅は懐かし"が導かれる
10. 推論8と事実20から、推論9: "あの停車駅は懐かしし加えて得られ易い"が導かれる
11. 事実12から、推論10: "あの停車駅は懐かしし更に得られ易いならばそれは冷たくない"が導かれる
12. 推論9と推論10から、仮説が否定される

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