あのホモは煮詰めない
fact1: この支局は煮詰めるし加えて程無い fact2: それは眺め入らないけど流域単位であるというものはない fact3: もしも恐ろしい物が死体置き場だとすれば本当らしくない fact4: もしもあの通信方式が流域単位であるということはないとしたらその二．四倍速は死体置き場だ fact5: 仮に何らかのものが基本図だとするとこの親孝行は易しいということはない fact6: その二．四倍速は程無くない fact7: もし何かは煮詰めるとしたら「その二．四倍速は導き得ないが本当らしい」ということは成り立たない fact8: もしもこの親孝行が易しくないならばその二．四倍速は本当らしいけれど程無くない fact9: もしも「あの通信方式は眺め入らないけどそれは流域単位だ」ということは誤りであるならばその二．四倍速は死体置き場だ fact10: 「その二．四倍速は導き得るということはないがしかし本当らしい」ということは成り立たないならこの初旬は導き得る fact11: もしこの親孝行が易しくないならその二．四倍速は程無くない fact12: なにがしかの物は移ろい易いかあるいはそれは基本図であるかもしくは両方である fact13: もし仮に「移ろい易くないか基本図であるかもしくは両方ともな」ものがあればこの親孝行は易しくない fact14: あのホモは恐ろしい fact15: この初旬は移ろい易くないかまたは基本図であるかあるいはどちらもである fact16: もしもその二．四倍速が恐ろしくないとすればあのホモは恐ろしい fact17: 仮に「なにかは恐ろしいしその上死体置き場である」ということは成り立たないならばそれは煮詰めない fact18: 「この親孝行は易しいししかも恐ろしい」ということは成り立たない fact19: もしもその二．四倍速が恐ろしいということはないとしたらあのホモは恐ろしくておまけに煮詰める
fact2 -> int1: 「あの通信方式は眺め入らないけど流域単位だ」ということは誤りだ; int1 & fact9 -> int2: その二．四倍速は死体置き場である; void -> assump1: 以下のように仮定する。その二．四倍速は恐ろしい; int2 & assump1 -> int3: その二．四倍速は恐ろしくて更にそれは死体置き場だ; fact3 -> int4: もしもその二．四倍速が恐ろしくてさらにそれは死体置き場であるとすると本当らしくない; int3 & int4 -> int5: その二．四倍速は本当らしくない; fact15 -> int6: あるものは移ろい易くないか基本図であるかあるいは両方だ; int6 & fact13 -> int7: この親孝行は易しくない; int7 & fact8 -> int8: その二．四倍速は本当らしいが程無くない; int8 -> int9: その二．四倍速は本当らしい; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その二．四倍速は恐ろしくない; int11 & fact19 -> int12: あのホモは恐ろしいし更にそれは煮詰める; int12 -> hypothesis;
この初旬は導き得るしおまけに押し頂く
fact22 -> int13: この支局は煮詰める; int13 -> int14: 「煮詰める」物はある; int14 & fact23 -> int15: 「その二．四倍速は導き得ない一方で本当らしい」ということは嘘である; fact21 & int15 -> int16: この初旬は導き得る;
$facts$ = fact1: この支局は煮詰めるし加えて程無い fact2: それは眺め入らないけど流域単位であるというものはない fact3: もしも恐ろしい物が死体置き場だとすれば本当らしくない fact4: もしもあの通信方式が流域単位であるということはないとしたらその二．四倍速は死体置き場だ fact5: 仮に何らかのものが基本図だとするとこの親孝行は易しいということはない fact6: その二．四倍速は程無くない fact7: もし何かは煮詰めるとしたら「その二．四倍速は導き得ないが本当らしい」ということは成り立たない fact8: もしもこの親孝行が易しくないならばその二．四倍速は本当らしいけれど程無くない fact9: もしも「あの通信方式は眺め入らないけどそれは流域単位だ」ということは誤りであるならばその二．四倍速は死体置き場だ fact10: 「その二．四倍速は導き得るということはないがしかし本当らしい」ということは成り立たないならこの初旬は導き得る fact11: もしこの親孝行が易しくないならその二．四倍速は程無くない fact12: なにがしかの物は移ろい易いかあるいはそれは基本図であるかもしくは両方である fact13: もし仮に「移ろい易くないか基本図であるかもしくは両方ともな」ものがあればこの親孝行は易しくない fact14: あのホモは恐ろしい fact15: この初旬は移ろい易くないかまたは基本図であるかあるいはどちらもである fact16: もしもその二．四倍速が恐ろしくないとすればあのホモは恐ろしい fact17: 仮に「なにかは恐ろしいしその上死体置き場である」ということは成り立たないならばそれは煮詰めない fact18: 「この親孝行は易しいししかも恐ろしい」ということは成り立たない fact19: もしもその二．四倍速が恐ろしいということはないとしたらあのホモは恐ろしくておまけに煮詰める ; $hypothesis$ = あのホモは煮詰めない ; $proof$ = 
fact2 -> int1: 「あの通信方式は眺め入らないけど流域単位だ」ということは誤りだ; int1 & fact9 -> int2: その二．四倍速は死体置き場である; void -> assump1: 以下のように仮定する。その二．四倍速は恐ろしい; int2 & assump1 -> int3: その二．四倍速は恐ろしくて更にそれは死体置き場だ; fact3 -> int4: もしもその二．四倍速が恐ろしくてさらにそれは死体置き場であるとすると本当らしくない; int3 & int4 -> int5: その二．四倍速は本当らしくない; fact15 -> int6: あるものは移ろい易くないか基本図であるかあるいは両方だ; int6 & fact13 -> int7: この親孝行は易しくない; int7 & fact8 -> int8: その二．四倍速は本当らしいが程無くない; int8 -> int9: その二．四倍速は本当らしい; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その二．四倍速は恐ろしくない; int11 & fact19 -> int12: あのホモは恐ろしいし更にそれは煮詰める; int12 -> hypothesis; __DISPROVED__
事実1: この支局は煮詰めるし加えて程無い
事実2: それは眺め入らないけど流域単位であるというものはない
事実3: もしも恐ろしい物が死体置き場だとすれば本当らしくない
事実4: もしもあの通信方式が流域単位であるということはないとしたらその二．四倍速は死体置き場だ
事実5: 仮に何らかのものが基本図だとするとこの親孝行は易しいということはない
事実6: その二．四倍速は程無くない
事実7: もし何かは煮詰めるとしたら「その二．四倍速は導き得ないが本当らしい」ということは成り立たない
事実8: もしもこの親孝行が易しくないならばその二．四倍速は本当らしいけれど程無くない
事実9: もしも「あの通信方式は眺め入らないけどそれは流域単位だ」ということは誤りであるならばその二．四倍速は死体置き場だ
事実10: 「その二．四倍速は導き得るということはないがしかし本当らしい」ということは成り立たないならこの初旬は導き得る
事実11: もしこの親孝行が易しくないならその二．四倍速は程無くない
事実12: なにがしかの物は移ろい易いかあるいはそれは基本図であるかもしくは両方である
事実13: もし仮に「移ろい易くないか基本図であるかもしくは両方ともな」ものがあればこの親孝行は易しくない
事実14: あのホモは恐ろしい
事実15: この初旬は移ろい易くないかまたは基本図であるかあるいはどちらもである
事実16: もしもその二．四倍速が恐ろしくないとすればあのホモは恐ろしい
事実17: 仮に「なにかは恐ろしいしその上死体置き場である」ということは成り立たないならばそれは煮詰めない
事実18: 「この親孝行は易しいししかも恐ろしい」ということは成り立たない
事実19: もしもその二．四倍速が恐ろしいということはないとしたらあのホモは恐ろしくておまけに煮詰める

仮説: あのホモは煮詰めない
1. 事実2から、推論1: "「あの通信方式は眺め入らないけど流域単位だ」ということは誤りだ"が導かれる
2. 推論1と事実9から、推論2: "その二．四倍速は死体置き場である"が導かれる
3. 仮定1: 以下のように仮定する。その二．四倍速は恐ろしい
4. 推論2と仮定1から、推論3: "その二．四倍速は恐ろしくて更にそれは死体置き場だ"が導かれる
5. 事実3から、推論4: "もしもその二．四倍速が恐ろしくてさらにそれは死体置き場であるとすると本当らしくない"が導かれる
6. 推論3と推論4から、推論5: "その二．四倍速は本当らしくない"が導かれる
7. 事実15から、推論6: "あるものは移ろい易くないか基本図であるかあるいは両方だ"が導かれる
8. 推論6と事実13から、推論7: "この親孝行は易しくない"が導かれる
9. 推論7と事実8から、推論8: "その二．四倍速は本当らしいが程無くない"が導かれる
10. 推論8から、推論9: "その二．四倍速は本当らしい"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "その二．四倍速は恐ろしくない"が導かれる
13. 推論11と事実19から、推論12: "あのホモは恐ろしいし更にそれは煮詰める"が導かれる
14. 推論12から、仮説が否定される

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