もしもあの研究報告書は泥臭いならば「このポスト石油は切り難いということはなくて射出しない」ということは成り立たない
fact1: もしとあるものは浮かび上がらないとしたら「切り難くないし射出するということはない」ということは偽である fact2: 「このポスト石油は切り難くないがしかし射出する」ということは嘘だ fact3: なにがしかの物は品格でない fact4: 仮になにかは浮かび上がらないとしたら「それは切り難い一方で射出しない」ということは事実と異なる fact5: もしとある物はコメディーでないなら「怠くらなくてまた隔離政策であるということはない」ということは間違いである fact6: 「放送する」物はある fact7: このポスト石油は切り難くないならば「それは射出するしそれは遣り残さない」ということは誤っている fact8: このポスト石油は浮かび上がるとしたら「あの研究報告書は射出しないし修復出来ない」ということは誤りである fact9: 仮にこのポスト石油は遣り残さないならば「浮かび上がらないしおまけに切り難くない」ということは間違っている fact10: もし仮にこのポスト石油は浮かび上がらないとすると「切り難いけれど射出するということはない」ということは嘘である fact11: その搬出確認登録Ｆは泥臭くない fact12: 「大精神でない」ものはある fact13: 小賢しいしおまけにし辛いものは被せない fact14: もし仮に何らかのものは征韓論でないならそれは割れ易い fact15: もしなにがしかのものが遣り残すしそれが泥臭いとすればそれは修復出来るということはない fact16: もしなにがしかのものは呪縛しないとしたら「それは第二十二議会でないし更にそれは蠧簡集でない」ということは成り立つということはない fact17: とあるものは品格だ fact18: あの研究報告書が修復出来ないとすればこのポスト石油は浮かび上がらない fact19: 「このポスト石油は切り難いがしかし射出しない」ということは成り立たない fact20: もしなにかは浮かび上がらないとすると「それは切り難くないけれど射出する」ということは成り立つということはない fact21: 仮にこのポスト石油は泥臭くないとしたら「修復出来る一方で射出しない」ということは成り立たない fact22: 何かはイトーヨーカ堂でないとしたら遣り残す fact23: もし仮に「品格でない」物があるとしたらあの研究報告書はイトーヨーカ堂であるということはない fact24: 「あの研究報告書は泥臭い」ということは本当であるなら「このポスト石油は切り難くないがしかしそれは射出する」ということは嘘だ
fact3 & fact23 -> int1: あの研究報告書はイトーヨーカ堂でない; fact22 -> int2: もしもあの研究報告書がイトーヨーカ堂でないとすればそれは遣り残す; int1 & int2 -> int3: あの研究報告書は遣り残す; void -> assump1: 以下のように仮定する。あの研究報告書は泥臭い; int3 & assump1 -> int4: あの研究報告書は遣り残すしさらに泥臭い; fact15 -> int5: 仮にあの研究報告書が遣り残すしそれが泥臭いならば修復出来るということはない; int4 & int5 -> int6: あの研究報告書は修復出来ない; int6 & fact18 -> int7: このポスト石油は浮かび上がらない; fact1 -> int8: もしこのポスト石油は浮かび上がらないとすると「それは切り難くなくてかつそれは射出しない」ということは誤っている; int7 & int8 -> int9: 「このポスト石油は切り難くなくておまけにそれは射出しない」ということは成り立たない; [assump1] & int9 -> hypothesis;
$facts$ = fact1: もしとあるものは浮かび上がらないとしたら「切り難くないし射出するということはない」ということは偽である fact2: 「このポスト石油は切り難くないがしかし射出する」ということは嘘だ fact3: なにがしかの物は品格でない fact4: 仮になにかは浮かび上がらないとしたら「それは切り難い一方で射出しない」ということは事実と異なる fact5: もしとある物はコメディーでないなら「怠くらなくてまた隔離政策であるということはない」ということは間違いである fact6: 「放送する」物はある fact7: このポスト石油は切り難くないならば「それは射出するしそれは遣り残さない」ということは誤っている fact8: このポスト石油は浮かび上がるとしたら「あの研究報告書は射出しないし修復出来ない」ということは誤りである fact9: 仮にこのポスト石油は遣り残さないならば「浮かび上がらないしおまけに切り難くない」ということは間違っている fact10: もし仮にこのポスト石油は浮かび上がらないとすると「切り難いけれど射出するということはない」ということは嘘である fact11: その搬出確認登録Ｆは泥臭くない fact12: 「大精神でない」ものはある fact13: 小賢しいしおまけにし辛いものは被せない fact14: もし仮に何らかのものは征韓論でないならそれは割れ易い fact15: もしなにがしかのものが遣り残すしそれが泥臭いとすればそれは修復出来るということはない fact16: もしなにがしかのものは呪縛しないとしたら「それは第二十二議会でないし更にそれは蠧簡集でない」ということは成り立つということはない fact17: とあるものは品格だ fact18: あの研究報告書が修復出来ないとすればこのポスト石油は浮かび上がらない fact19: 「このポスト石油は切り難いがしかし射出しない」ということは成り立たない fact20: もしなにかは浮かび上がらないとすると「それは切り難くないけれど射出する」ということは成り立つということはない fact21: 仮にこのポスト石油は泥臭くないとしたら「修復出来る一方で射出しない」ということは成り立たない fact22: 何かはイトーヨーカ堂でないとしたら遣り残す fact23: もし仮に「品格でない」物があるとしたらあの研究報告書はイトーヨーカ堂であるということはない fact24: 「あの研究報告書は泥臭い」ということは本当であるなら「このポスト石油は切り難くないがしかしそれは射出する」ということは嘘だ ; $hypothesis$ = もしもあの研究報告書は泥臭いならば「このポスト石油は切り難いということはなくて射出しない」ということは成り立たない ; $proof$ = 
fact3 & fact23 -> int1: あの研究報告書はイトーヨーカ堂でない; fact22 -> int2: もしもあの研究報告書がイトーヨーカ堂でないとすればそれは遣り残す; int1 & int2 -> int3: あの研究報告書は遣り残す; void -> assump1: 以下のように仮定する。あの研究報告書は泥臭い; int3 & assump1 -> int4: あの研究報告書は遣り残すしさらに泥臭い; fact15 -> int5: 仮にあの研究報告書が遣り残すしそれが泥臭いならば修復出来るということはない; int4 & int5 -> int6: あの研究報告書は修復出来ない; int6 & fact18 -> int7: このポスト石油は浮かび上がらない; fact1 -> int8: もしこのポスト石油は浮かび上がらないとすると「それは切り難くなくてかつそれは射出しない」ということは誤っている; int7 & int8 -> int9: 「このポスト石油は切り難くなくておまけにそれは射出しない」ということは成り立たない; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしとあるものは浮かび上がらないとしたら「切り難くないし射出するということはない」ということは偽である
事実2: 「このポスト石油は切り難くないがしかし射出する」ということは嘘だ
事実3: なにがしかの物は品格でない
事実4: 仮になにかは浮かび上がらないとしたら「それは切り難い一方で射出しない」ということは事実と異なる
事実5: もしとある物はコメディーでないなら「怠くらなくてまた隔離政策であるということはない」ということは間違いである
事実6: 「放送する」物はある
事実7: このポスト石油は切り難くないならば「それは射出するしそれは遣り残さない」ということは誤っている
事実8: このポスト石油は浮かび上がるとしたら「あの研究報告書は射出しないし修復出来ない」ということは誤りである
事実9: 仮にこのポスト石油は遣り残さないならば「浮かび上がらないしおまけに切り難くない」ということは間違っている
事実10: もし仮にこのポスト石油は浮かび上がらないとすると「切り難いけれど射出するということはない」ということは嘘である
事実11: その搬出確認登録Ｆは泥臭くない
事実12: 「大精神でない」ものはある
事実13: 小賢しいしおまけにし辛いものは被せない
事実14: もし仮に何らかのものは征韓論でないならそれは割れ易い
事実15: もしなにがしかのものが遣り残すしそれが泥臭いとすればそれは修復出来るということはない
事実16: もしなにがしかのものは呪縛しないとしたら「それは第二十二議会でないし更にそれは蠧簡集でない」ということは成り立つということはない
事実17: とあるものは品格だ
事実18: あの研究報告書が修復出来ないとすればこのポスト石油は浮かび上がらない
事実19: 「このポスト石油は切り難いがしかし射出しない」ということは成り立たない
事実20: もしなにかは浮かび上がらないとすると「それは切り難くないけれど射出する」ということは成り立つということはない
事実21: 仮にこのポスト石油は泥臭くないとしたら「修復出来る一方で射出しない」ということは成り立たない
事実22: 何かはイトーヨーカ堂でないとしたら遣り残す
事実23: もし仮に「品格でない」物があるとしたらあの研究報告書はイトーヨーカ堂であるということはない
事実24: 「あの研究報告書は泥臭い」ということは本当であるなら「このポスト石油は切り難くないがしかしそれは射出する」ということは嘘だ

仮説: もしもあの研究報告書は泥臭いならば「このポスト石油は切り難いということはなくて射出しない」ということは成り立たない
1. 事実3と事実23から、推論1: "あの研究報告書はイトーヨーカ堂でない"が導かれる
2. 事実22から、推論2: "もしもあの研究報告書がイトーヨーカ堂でないとすればそれは遣り残す"が導かれる
3. 推論1と推論2から、推論3: "あの研究報告書は遣り残す"が導かれる
4. 仮定1: 以下のように仮定する。あの研究報告書は泥臭い
5. 推論3と仮定1から、推論4: "あの研究報告書は遣り残すしさらに泥臭い"が導かれる
6. 事実15から、推論5: "仮にあの研究報告書が遣り残すしそれが泥臭いならば修復出来るということはない"が導かれる
7. 推論4と推論5から、推論6: "あの研究報告書は修復出来ない"が導かれる
8. 推論6と事実18から、推論7: "このポスト石油は浮かび上がらない"が導かれる
9. 事実1から、推論8: "もしこのポスト石油は浮かび上がらないとすると「それは切り難くなくてかつそれは射出しない」ということは誤っている"が導かれる
10. 推論7と推論8から、推論9: "「このポスト石油は切り難くなくておまけにそれは射出しない」ということは成り立たない"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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