あの成仏は西流するしそれは息む
fact1: 「あの成仏は西流するししかもすげない」ということは成り立たない fact2: 仮にあの下生えは黄色っぽくないとすると「焦げ臭いしさよならする」ということは誤っている fact3: 「親しみ易い」物はある fact4: 仮に「あの下生えは黄色っぽくない」ということは事実ならばあの成仏は焦げ臭いということはない fact5: 「あの下生えは黄色っぽいし加えて焦げ臭い」ということは嘘である fact6: あの下生えは息むということはない fact7: なにがしかのものは親しみ易くない fact8: もし「息まない」物はあるとしたら「あの成仏は焦げ臭くてそれはさよならする」ということは成り立たない fact9: もし「親しみ易くない」ものはあるとすると「あの下生えは黄色っぽいしそれにさよならする」ということは成り立たない fact10: もしも何かは焦げ臭くないとすると「西流するしおまけに息む」ということは誤っている fact11: もし仮に何かは焦げ臭くないとしたら「あの下生えはさよならするし加えて息む」ということは成り立たない fact12: あの下生えは黄色っぽいなら「あの成仏は西流する」ということは成り立つ fact13: もしもあの下生えは焦げ臭くないなら「黄色っぽいし西流する」ということは成り立たない fact14: もし「あの下生えは黄色っぽくてかつさよならする」ということは本当でないとしたらあの成仏は焦げ臭くない fact15: もしも「あの成仏は黄色っぽいし西流する」ということは間違っているとしたらあの下生えはさよならしない fact16: 「「この観光行動は焦れったいが悍ましくない」ということは成り立たないならあの補え特伽羅は悍ましくない」ということは確かだ fact17: もし仮にあの下生えはさよならしないとすれば「焦げ臭くておまけにそれは西流する」ということは偽だ fact18: 仮に「あの補え特伽羅は悍ましい」ということは間違っていればあの下生えは黄色っぽいしおまけにさよならする
fact7 & fact9 -> int1: 「あの下生えは黄色っぽくてさよならする」ということは間違いだ; int1 & fact14 -> int2: あの成仏は焦げ臭くない; fact10 -> int3: もし仮にあの成仏は焦げ臭いということはないとしたら「それは西流するしその上息む」ということは嘘である; int2 & int3 -> hypothesis;
あの成仏は西流するし息む
$facts$ = fact1: 「あの成仏は西流するししかもすげない」ということは成り立たない fact2: 仮にあの下生えは黄色っぽくないとすると「焦げ臭いしさよならする」ということは誤っている fact3: 「親しみ易い」物はある fact4: 仮に「あの下生えは黄色っぽくない」ということは事実ならばあの成仏は焦げ臭いということはない fact5: 「あの下生えは黄色っぽいし加えて焦げ臭い」ということは嘘である fact6: あの下生えは息むということはない fact7: なにがしかのものは親しみ易くない fact8: もし「息まない」物はあるとしたら「あの成仏は焦げ臭くてそれはさよならする」ということは成り立たない fact9: もし「親しみ易くない」ものはあるとすると「あの下生えは黄色っぽいしそれにさよならする」ということは成り立たない fact10: もしも何かは焦げ臭くないとすると「西流するしおまけに息む」ということは誤っている fact11: もし仮に何かは焦げ臭くないとしたら「あの下生えはさよならするし加えて息む」ということは成り立たない fact12: あの下生えは黄色っぽいなら「あの成仏は西流する」ということは成り立つ fact13: もしもあの下生えは焦げ臭くないなら「黄色っぽいし西流する」ということは成り立たない fact14: もし「あの下生えは黄色っぽくてかつさよならする」ということは本当でないとしたらあの成仏は焦げ臭くない fact15: もしも「あの成仏は黄色っぽいし西流する」ということは間違っているとしたらあの下生えはさよならしない fact16: 「「この観光行動は焦れったいが悍ましくない」ということは成り立たないならあの補え特伽羅は悍ましくない」ということは確かだ fact17: もし仮にあの下生えはさよならしないとすれば「焦げ臭くておまけにそれは西流する」ということは偽だ fact18: 仮に「あの補え特伽羅は悍ましい」ということは間違っていればあの下生えは黄色っぽいしおまけにさよならする ; $hypothesis$ = あの成仏は西流するしそれは息む ; $proof$ = 
fact7 & fact9 -> int1: 「あの下生えは黄色っぽくてさよならする」ということは間違いだ; int1 & fact14 -> int2: あの成仏は焦げ臭くない; fact10 -> int3: もし仮にあの成仏は焦げ臭いということはないとしたら「それは西流するしその上息む」ということは嘘である; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「あの成仏は西流するししかもすげない」ということは成り立たない
事実2: 仮にあの下生えは黄色っぽくないとすると「焦げ臭いしさよならする」ということは誤っている
事実3: 「親しみ易い」物はある
事実4: 仮に「あの下生えは黄色っぽくない」ということは事実ならばあの成仏は焦げ臭いということはない
事実5: 「あの下生えは黄色っぽいし加えて焦げ臭い」ということは嘘である
事実6: あの下生えは息むということはない
事実7: なにがしかのものは親しみ易くない
事実8: もし「息まない」物はあるとしたら「あの成仏は焦げ臭くてそれはさよならする」ということは成り立たない
事実9: もし「親しみ易くない」ものはあるとすると「あの下生えは黄色っぽいしそれにさよならする」ということは成り立たない
事実10: もしも何かは焦げ臭くないとすると「西流するしおまけに息む」ということは誤っている
事実11: もし仮に何かは焦げ臭くないとしたら「あの下生えはさよならするし加えて息む」ということは成り立たない
事実12: あの下生えは黄色っぽいなら「あの成仏は西流する」ということは成り立つ
事実13: もしもあの下生えは焦げ臭くないなら「黄色っぽいし西流する」ということは成り立たない
事実14: もし「あの下生えは黄色っぽくてかつさよならする」ということは本当でないとしたらあの成仏は焦げ臭くない
事実15: もしも「あの成仏は黄色っぽいし西流する」ということは間違っているとしたらあの下生えはさよならしない
事実16: 「「この観光行動は焦れったいが悍ましくない」ということは成り立たないならあの補え特伽羅は悍ましくない」ということは確かだ
事実17: もし仮にあの下生えはさよならしないとすれば「焦げ臭くておまけにそれは西流する」ということは偽だ
事実18: 仮に「あの補え特伽羅は悍ましい」ということは間違っていればあの下生えは黄色っぽいしおまけにさよならする

仮説: あの成仏は西流するしそれは息む
1. 事実7と事実9から、推論1: "「あの下生えは黄色っぽくてさよならする」ということは間違いだ"が導かれる
2. 推論1と事実14から、推論2: "あの成仏は焦げ臭くない"が導かれる
3. 事実10から、推論3: "もし仮にあの成仏は焦げ臭いということはないとしたら「それは西流するしその上息む」ということは嘘である"が導かれる
4. 推論2と推論3から、仮説が否定される

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