あのＶＤＲ発現は世界最古だ
fact1: 「「久し」ということは確かである」物はある fact2: もしもこのキャリアは発言するとすると「あのＶＤＲ発現は世界最古である」ということは事実だ fact3: 「もし仮に「あのＶＤＲ発現は消費出来るがそれは遡及しない」ということは成り立つということはないならあのＶＤＲ発現は消費出来ない」ということは確かだ fact4: このキャリアが開き易いならあのＶＤＲ発現は残り難い fact5: もしもなにがしかの物は払い上げるとすると「久しないしターン制でない」ということは誤りである fact6: このキャリアは農民解放である fact7: なにがしかのものは農民解放であるならば「それは世界最古でそれに発言しない」ということは事実と異なる fact8: 久しものは農民解放である fact9: 「なんらかのものは一／ＮＧだということはないけど内科部長である」ということは事実と異なるとするとそれは発言する fact10: 仮に「なにがしかのものは久しないし更にターン制でない」ということは偽だとするとそれは久し fact11: 「あの呂皇太后は農民解放であるし遣り残す」ということは誤りである fact12: もしあのＶＤＲ発現は残り難いならば「それは消費出来るしかつそれは遡及するということはない」ということは成り立たない fact13: 仮に「このキャリアは世界最古だけど久しない」ということは間違っているならばあの上場銘柄は世界最古であるということはない fact14: もしある物が消費出来ないならばそれは払い上げる fact15: もしもこのキャリアは農民解放であるなら「それは一／ＮＧでないけれど内科部長だ」ということは間違いだ fact16: このキャリアは開き易いかもしくは無意識状態であるかあるいはどちらもである fact17: もしも「何らかの物は世界最古だ一方でそれは発言しない」ということは事実と異なればそれは世界最古でない
fact15 & fact6 -> int1: 「このキャリアは一／ＮＧでないがそれは内科部長である」ということは成り立たない; fact9 -> int2: もし仮に「このキャリアは一／ＮＧでない一方でそれは内科部長だ」ということは誤りであるとすると発言する; int1 & int2 -> int3: このキャリアは発言する; int3 & fact2 -> hypothesis;
あのＶＤＲ発現は世界最古でない
fact27 -> int4: もしも「あのＶＤＲ発現は世界最古だけど発言しない」ということは成り立たないとすればそれは世界最古でない; fact23 -> int5: もしあのＶＤＲ発現は農民解放なら「それは世界最古だ一方で発言するということはない」ということは間違いである; fact20 -> int6: あのＶＤＲ発現が久しならば農民解放である; fact18 -> int7: もし「あのＶＤＲ発現は久しないしターン制でない」ということは誤りだとすればそれは久し; fact22 -> int8: もし仮にあのＶＤＲ発現は払い上げれば「それは久しないしそれはターン制でない」ということは成り立たない; fact25 -> int9: 仮にあのＶＤＲ発現が消費出来ないならば払い上げる;
$facts$ = fact1: 「「久し」ということは確かである」物はある fact2: もしもこのキャリアは発言するとすると「あのＶＤＲ発現は世界最古である」ということは事実だ fact3: 「もし仮に「あのＶＤＲ発現は消費出来るがそれは遡及しない」ということは成り立つということはないならあのＶＤＲ発現は消費出来ない」ということは確かだ fact4: このキャリアが開き易いならあのＶＤＲ発現は残り難い fact5: もしもなにがしかの物は払い上げるとすると「久しないしターン制でない」ということは誤りである fact6: このキャリアは農民解放である fact7: なにがしかのものは農民解放であるならば「それは世界最古でそれに発言しない」ということは事実と異なる fact8: 久しものは農民解放である fact9: 「なんらかのものは一／ＮＧだということはないけど内科部長である」ということは事実と異なるとするとそれは発言する fact10: 仮に「なにがしかのものは久しないし更にターン制でない」ということは偽だとするとそれは久し fact11: 「あの呂皇太后は農民解放であるし遣り残す」ということは誤りである fact12: もしあのＶＤＲ発現は残り難いならば「それは消費出来るしかつそれは遡及するということはない」ということは成り立たない fact13: 仮に「このキャリアは世界最古だけど久しない」ということは間違っているならばあの上場銘柄は世界最古であるということはない fact14: もしある物が消費出来ないならばそれは払い上げる fact15: もしもこのキャリアは農民解放であるなら「それは一／ＮＧでないけれど内科部長だ」ということは間違いだ fact16: このキャリアは開き易いかもしくは無意識状態であるかあるいはどちらもである fact17: もしも「何らかの物は世界最古だ一方でそれは発言しない」ということは事実と異なればそれは世界最古でない ; $hypothesis$ = あのＶＤＲ発現は世界最古だ ; $proof$ = 
fact15 & fact6 -> int1: 「このキャリアは一／ＮＧでないがそれは内科部長である」ということは成り立たない; fact9 -> int2: もし仮に「このキャリアは一／ＮＧでない一方でそれは内科部長だ」ということは誤りであるとすると発言する; int1 & int2 -> int3: このキャリアは発言する; int3 & fact2 -> hypothesis; __PROVED__
事実1: 「「久し」ということは確かである」物はある
事実2: もしもこのキャリアは発言するとすると「あのＶＤＲ発現は世界最古である」ということは事実だ
事実3: 「もし仮に「あのＶＤＲ発現は消費出来るがそれは遡及しない」ということは成り立つということはないならあのＶＤＲ発現は消費出来ない」ということは確かだ
事実4: このキャリアが開き易いならあのＶＤＲ発現は残り難い
事実5: もしもなにがしかの物は払い上げるとすると「久しないしターン制でない」ということは誤りである
事実6: このキャリアは農民解放である
事実7: なにがしかのものは農民解放であるならば「それは世界最古でそれに発言しない」ということは事実と異なる
事実8: 久しものは農民解放である
事実9: 「なんらかのものは一／ＮＧだということはないけど内科部長である」ということは事実と異なるとするとそれは発言する
事実10: 仮に「なにがしかのものは久しないし更にターン制でない」ということは偽だとするとそれは久し
事実11: 「あの呂皇太后は農民解放であるし遣り残す」ということは誤りである
事実12: もしあのＶＤＲ発現は残り難いならば「それは消費出来るしかつそれは遡及するということはない」ということは成り立たない
事実13: 仮に「このキャリアは世界最古だけど久しない」ということは間違っているならばあの上場銘柄は世界最古であるということはない
事実14: もしある物が消費出来ないならばそれは払い上げる
事実15: もしもこのキャリアは農民解放であるなら「それは一／ＮＧでないけれど内科部長だ」ということは間違いだ
事実16: このキャリアは開き易いかもしくは無意識状態であるかあるいはどちらもである
事実17: もしも「何らかの物は世界最古だ一方でそれは発言しない」ということは事実と異なればそれは世界最古でない

仮説: あのＶＤＲ発現は世界最古だ
1. 事実15と事実6から、推論1: "「このキャリアは一／ＮＧでないがそれは内科部長である」ということは成り立たない"が導かれる
2. 事実9から、推論2: "もし仮に「このキャリアは一／ＮＧでない一方でそれは内科部長だ」ということは誤りであるとすると発言する"が導かれる
3. 推論1と推論2から、推論3: "このキャリアは発言する"が導かれる
4. 推論3と事実2から、仮説が導かれる

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