あの不文は最終列車でない一方で一元論である
fact1: なんらかの物は物悲しいとしたら「組まない一方で最終列車である」ということは事実でない fact2: もしもあるものは組むとすれば「それは最終列車でないがしかし一元論である」ということは誤っている fact3: あの不文は物悲しい fact4: あの地震対策は組む fact5: もしもなんらかの物は組むとしたら「最終列車で一元論だ」ということは真実でない fact6: 「あの不文は最終列車であるしさらに一元論だ」ということは間違いである fact7: もしも「このモダニズム論は組まないしそれに物悲しいということはない」ということは成り立たないとすると骨っぽい fact8: 仮にあの輸送技術は一元論だとすると「このモダニズム論が組むということはないしその上物悲しくない」ということは成り立たない fact9: 「あの不文は糾弾する」ということは間違いだということはない fact10: もしあの不文は組めば「それは最終列車であるしその上一元論である」ということは嘘だ fact11: あの不文は物悲しいしさらに組む
fact11 -> int1: あの不文は組む; fact2 -> int2: 仮に「あの不文は組む」ということは正しいとすれば「最終列車でなくてその上それは一元論だ」ということは誤りだ; int1 & int2 -> hypothesis;
このモダニズム論は骨っぽいしその上得難し
$facts$ = fact1: なんらかの物は物悲しいとしたら「組まない一方で最終列車である」ということは事実でない fact2: もしもあるものは組むとすれば「それは最終列車でないがしかし一元論である」ということは誤っている fact3: あの不文は物悲しい fact4: あの地震対策は組む fact5: もしもなんらかの物は組むとしたら「最終列車で一元論だ」ということは真実でない fact6: 「あの不文は最終列車であるしさらに一元論だ」ということは間違いである fact7: もしも「このモダニズム論は組まないしそれに物悲しいということはない」ということは成り立たないとすると骨っぽい fact8: 仮にあの輸送技術は一元論だとすると「このモダニズム論が組むということはないしその上物悲しくない」ということは成り立たない fact9: 「あの不文は糾弾する」ということは間違いだということはない fact10: もしあの不文は組めば「それは最終列車であるしその上一元論である」ということは嘘だ fact11: あの不文は物悲しいしさらに組む ; $hypothesis$ = あの不文は最終列車でない一方で一元論である ; $proof$ = 
fact11 -> int1: あの不文は組む; fact2 -> int2: 仮に「あの不文は組む」ということは正しいとすれば「最終列車でなくてその上それは一元論だ」ということは誤りだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: なんらかの物は物悲しいとしたら「組まない一方で最終列車である」ということは事実でない
事実2: もしもあるものは組むとすれば「それは最終列車でないがしかし一元論である」ということは誤っている
事実3: あの不文は物悲しい
事実4: あの地震対策は組む
事実5: もしもなんらかの物は組むとしたら「最終列車で一元論だ」ということは真実でない
事実6: 「あの不文は最終列車であるしさらに一元論だ」ということは間違いである
事実7: もしも「このモダニズム論は組まないしそれに物悲しいということはない」ということは成り立たないとすると骨っぽい
事実8: 仮にあの輸送技術は一元論だとすると「このモダニズム論が組むということはないしその上物悲しくない」ということは成り立たない
事実9: 「あの不文は糾弾する」ということは間違いだということはない
事実10: もしあの不文は組めば「それは最終列車であるしその上一元論である」ということは嘘だ
事実11: あの不文は物悲しいしさらに組む

仮説: あの不文は最終列車でない一方で一元論である
1. 事実11から、推論1: "あの不文は組む"が導かれる
2. 事実2から、推論2: "仮に「あの不文は組む」ということは正しいとすれば「最終列車でなくてその上それは一元論だ」ということは誤りだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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