「何らかの物は安定等である」ということは成り立たない
fact1: 仮に酸い物は松島基地でないなら「安定等である」ということは成り立つ fact2: もしもその御月さんは通り易いなら「松島基地である」ということは成り立つ fact3: あの本葉は理論構築でないならば通り易くて更に松島基地だ fact4: もし何かは見届ける一方で決断出来ないとしたら安定等である fact5: その御月さんは通り易い fact6: その御月さんは松島基地であるとすればそれは理解し易い fact7: もしも「何らかの物は見届けるけどそれは決断出来ない」ということは成り立たないとすれば酸くない fact8: もし仮にこの飛来が酸くないとしたらその御月さんは理解し易くない fact9: もし「あの本葉は松島基地でない」ということは成り立たないとしたらそれは安定等であるしその上酸くない
fact7 -> int1: 「この飛来は見届ける一方でそれは決断出来ない」ということは誤りであるならば酸いということはない; void -> assump1: 以下のように仮定する。「この飛来は見届けるがしかし決断出来ない」ということは真実でない; int1 & assump1 -> int2: この飛来は酸くない; int2 & fact8 -> int3: 「その御月さんは理解し易くない」ということは確かだ; fact2 & fact5 -> int4: その御月さんは松島基地である; int4 & fact6 -> int5: その御月さんは理解し易い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この飛来は見届けるがしかし決断出来ない; fact4 -> int8: もし仮にこの飛来は見届ける一方で決断出来るということはないなら安定等である; int7 & int8 -> int9: この飛来は安定等である; int9 -> hypothesis;
「鬱陶しい」ものはある
$facts$ = fact1: 仮に酸い物は松島基地でないなら「安定等である」ということは成り立つ fact2: もしもその御月さんは通り易いなら「松島基地である」ということは成り立つ fact3: あの本葉は理論構築でないならば通り易くて更に松島基地だ fact4: もし何かは見届ける一方で決断出来ないとしたら安定等である fact5: その御月さんは通り易い fact6: その御月さんは松島基地であるとすればそれは理解し易い fact7: もしも「何らかの物は見届けるけどそれは決断出来ない」ということは成り立たないとすれば酸くない fact8: もし仮にこの飛来が酸くないとしたらその御月さんは理解し易くない fact9: もし「あの本葉は松島基地でない」ということは成り立たないとしたらそれは安定等であるしその上酸くない ; $hypothesis$ = 「何らかの物は安定等である」ということは成り立たない ; $proof$ = 
fact7 -> int1: 「この飛来は見届ける一方でそれは決断出来ない」ということは誤りであるならば酸いということはない; void -> assump1: 以下のように仮定する。「この飛来は見届けるがしかし決断出来ない」ということは真実でない; int1 & assump1 -> int2: この飛来は酸くない; int2 & fact8 -> int3: 「その御月さんは理解し易くない」ということは確かだ; fact2 & fact5 -> int4: その御月さんは松島基地である; int4 & fact6 -> int5: その御月さんは理解し易い; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この飛来は見届けるがしかし決断出来ない; fact4 -> int8: もし仮にこの飛来は見届ける一方で決断出来るということはないなら安定等である; int7 & int8 -> int9: この飛来は安定等である; int9 -> hypothesis; __DISPROVED__
事実1: 仮に酸い物は松島基地でないなら「安定等である」ということは成り立つ
事実2: もしもその御月さんは通り易いなら「松島基地である」ということは成り立つ
事実3: あの本葉は理論構築でないならば通り易くて更に松島基地だ
事実4: もし何かは見届ける一方で決断出来ないとしたら安定等である
事実5: その御月さんは通り易い
事実6: その御月さんは松島基地であるとすればそれは理解し易い
事実7: もしも「何らかの物は見届けるけどそれは決断出来ない」ということは成り立たないとすれば酸くない
事実8: もし仮にこの飛来が酸くないとしたらその御月さんは理解し易くない
事実9: もし「あの本葉は松島基地でない」ということは成り立たないとしたらそれは安定等であるしその上酸くない

仮説: 「何らかの物は安定等である」ということは成り立たない
1. 事実7から、推論1: "「この飛来は見届ける一方でそれは決断出来ない」ということは誤りであるならば酸いということはない"が導かれる
2. 仮定1: 以下のように仮定する。「この飛来は見届けるがしかし決断出来ない」ということは真実でない
3. 推論1と仮定1から、推論2: "この飛来は酸くない"が導かれる
4. 推論2と事実8から、推論3: "「その御月さんは理解し易くない」ということは確かだ"が導かれる
5. 事実2と事実5から、推論4: "その御月さんは松島基地である"が導かれる
6. 推論4と事実6から、推論5: "その御月さんは理解し易い"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この飛来は見届けるがしかし決断出来ない"が導かれる
9. 事実4から、推論8: "もし仮にこの飛来は見届ける一方で決断出来るということはないなら安定等である"が導かれる
10. 推論7と推論8から、推論9: "この飛来は安定等である"が導かれる
11. 推論9から、仮説が否定される

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