この近代社会主義は病理解剖だということはない
fact1: もし仮にある物は興じないが上智大学ならばＯＫＩＮであるということはない fact2: もしもなんらかの物は呼び易いとしたら「病理解剖でないしおまけに黒っぽくない」ということは事実と異なる fact3: その高ぶりは上り出す fact4: 仮にこの近代社会主義が病理解剖だし更にＯＫＩＮであるならばあの同調査は上智大学でない fact5: 「あの同調査が上智大学であるとするとあの同調査はＯＫＩＮである」ということは確かだ fact6: もしあの同調査が上り出すならその取材班は上り出す fact7: その取材班は図り難いということはない fact8: もしもあの同調査がＯＫＩＮであるとしたらその取材班はＯＫＩＮだ fact9: もしその取材班がＯＫＩＮであるし上り出せばこの近代社会主義は病理解剖であるということはない fact10: あの同調査は未消化である fact11: 仮になんらかのものが呼び易い一方で上り出さないとすると「黒っぽくない」ということは正しい fact12: 仮に「「あの同調査は上智大学であるということはないしそれは図り難くない」ということは成り立たない」ということは真実ならば「それは上智大学である」ということは本当である fact13: もし仮にある物が黒っぽいか呼び易いかどちらもだとすればあの取材班は上り出す fact14: もし仮にその診断方法が上り出すかそれはＯＫＩＮであるということはないかあるいは両方だとしたら「この近代社会主義は呼び易い」ということは真実である fact15: 「あの同調査は上智大学でないしおまけに図り難くない」ということは事実でない fact16: その診断方法は上智大学でない fact17: この近代社会主義は上り出す fact18: 「とある物は病理解剖であるということはないし更に黒っぽくない」ということは成り立たないならそれは病理解剖である fact19: その診断方法は呼び易い
fact19 -> int1: その診断方法は黒っぽいかもしくは呼び易いかあるいは両方ともだ; int1 -> int2: 「黒っぽいか呼び易いかもしくはどちらもな」物はある; int2 & fact13 -> int3: その取材班は上り出す; fact15 & fact12 -> int4: あの同調査は上智大学だ; int4 & fact5 -> int5: あの同調査はＯＫＩＮだ; int5 & fact8 -> int6: その取材班はＯＫＩＮである; int3 & int6 -> int7: その取材班はＯＫＩＮであるし更に上り出す; int7 & fact9 -> hypothesis;
この近代社会主義は病理解剖だ
fact20 -> int8: もし仮にこの近代社会主義は呼び易い一方で上り出さないとすれば黒っぽいということはない;
$facts$ = fact1: もし仮にある物は興じないが上智大学ならばＯＫＩＮであるということはない fact2: もしもなんらかの物は呼び易いとしたら「病理解剖でないしおまけに黒っぽくない」ということは事実と異なる fact3: その高ぶりは上り出す fact4: 仮にこの近代社会主義が病理解剖だし更にＯＫＩＮであるならばあの同調査は上智大学でない fact5: 「あの同調査が上智大学であるとするとあの同調査はＯＫＩＮである」ということは確かだ fact6: もしあの同調査が上り出すならその取材班は上り出す fact7: その取材班は図り難いということはない fact8: もしもあの同調査がＯＫＩＮであるとしたらその取材班はＯＫＩＮだ fact9: もしその取材班がＯＫＩＮであるし上り出せばこの近代社会主義は病理解剖であるということはない fact10: あの同調査は未消化である fact11: 仮になんらかのものが呼び易い一方で上り出さないとすると「黒っぽくない」ということは正しい fact12: 仮に「「あの同調査は上智大学であるということはないしそれは図り難くない」ということは成り立たない」ということは真実ならば「それは上智大学である」ということは本当である fact13: もし仮にある物が黒っぽいか呼び易いかどちらもだとすればあの取材班は上り出す fact14: もし仮にその診断方法が上り出すかそれはＯＫＩＮであるということはないかあるいは両方だとしたら「この近代社会主義は呼び易い」ということは真実である fact15: 「あの同調査は上智大学でないしおまけに図り難くない」ということは事実でない fact16: その診断方法は上智大学でない fact17: この近代社会主義は上り出す fact18: 「とある物は病理解剖であるということはないし更に黒っぽくない」ということは成り立たないならそれは病理解剖である fact19: その診断方法は呼び易い ; $hypothesis$ = この近代社会主義は病理解剖だということはない ; $proof$ = 
fact19 -> int1: その診断方法は黒っぽいかもしくは呼び易いかあるいは両方ともだ; int1 -> int2: 「黒っぽいか呼び易いかもしくはどちらもな」物はある; int2 & fact13 -> int3: その取材班は上り出す; fact15 & fact12 -> int4: あの同調査は上智大学だ; int4 & fact5 -> int5: あの同調査はＯＫＩＮだ; int5 & fact8 -> int6: その取材班はＯＫＩＮである; int3 & int6 -> int7: その取材班はＯＫＩＮであるし更に上り出す; int7 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にある物は興じないが上智大学ならばＯＫＩＮであるということはない
事実2: もしもなんらかの物は呼び易いとしたら「病理解剖でないしおまけに黒っぽくない」ということは事実と異なる
事実3: その高ぶりは上り出す
事実4: 仮にこの近代社会主義が病理解剖だし更にＯＫＩＮであるならばあの同調査は上智大学でない
事実5: 「あの同調査が上智大学であるとするとあの同調査はＯＫＩＮである」ということは確かだ
事実6: もしあの同調査が上り出すならその取材班は上り出す
事実7: その取材班は図り難いということはない
事実8: もしもあの同調査がＯＫＩＮであるとしたらその取材班はＯＫＩＮだ
事実9: もしその取材班がＯＫＩＮであるし上り出せばこの近代社会主義は病理解剖であるということはない
事実10: あの同調査は未消化である
事実11: 仮になんらかのものが呼び易い一方で上り出さないとすると「黒っぽくない」ということは正しい
事実12: 仮に「「あの同調査は上智大学であるということはないしそれは図り難くない」ということは成り立たない」ということは真実ならば「それは上智大学である」ということは本当である
事実13: もし仮にある物が黒っぽいか呼び易いかどちらもだとすればあの取材班は上り出す
事実14: もし仮にその診断方法が上り出すかそれはＯＫＩＮであるということはないかあるいは両方だとしたら「この近代社会主義は呼び易い」ということは真実である
事実15: 「あの同調査は上智大学でないしおまけに図り難くない」ということは事実でない
事実16: その診断方法は上智大学でない
事実17: この近代社会主義は上り出す
事実18: 「とある物は病理解剖であるということはないし更に黒っぽくない」ということは成り立たないならそれは病理解剖である
事実19: その診断方法は呼び易い

仮説: この近代社会主義は病理解剖だということはない
1. 事実19から、推論1: "その診断方法は黒っぽいかもしくは呼び易いかあるいは両方ともだ"が導かれる
2. 推論1から、推論2: "「黒っぽいか呼び易いかもしくはどちらもな」物はある"が導かれる
3. 推論2と事実13から、推論3: "その取材班は上り出す"が導かれる
4. 事実15と事実12から、推論4: "あの同調査は上智大学だ"が導かれる
5. 推論4と事実5から、推論5: "あの同調査はＯＫＩＮだ"が導かれる
6. 推論5と事実8から、推論6: "その取材班はＯＫＩＮである"が導かれる
7. 推論3と推論6から、推論7: "その取材班はＯＫＩＮであるし更に上り出す"が導かれる
8. 推論7と事実9から、仮説が導かれる

よって、仮説が証明されました。