あの企業能力は惨い
fact1: その信用供与は増加し続ける fact2: もしもあのプレムダンが海外遠征だとしたら手強い fact3: もし仮にあのパイピングは増加し続けるとすれば「この起訴状朗読は増加し続ける」ということは正しい fact4: もし仮に「とあるものは手強くないがしかし惨い」ということは成り立たないとすればそれは惨くない fact5: もしも「あのプレムダンは海外遠征であるということはないけど来れる」ということは成り立たないとすると手強い fact6: あのプレムダンは海外遠征でない fact7: 仮に「「来れない」ということは間違っているということはない」物はあるなら「あのプレムダンは海外遠征でない」ということは本当だ fact8: 「「あのプレムダンは惨いということはないがそれは来れる」ということは誤りである」ということは成り立つ fact9: もしもあの企業能力が来れるということはないとしたら惨い fact10: 仮に「あの企業能力は惨くないけどそれは来れる」ということは成り立たないとすると「海外遠征である」ということは本当だ fact11: 仮に「「水行するし増加し続ける」ということは成り立たない」物があればあのプレムダンは手強くない fact12: もしとある物は手強くないならば「惨いし水行する」ということは成り立たない fact13: もしとある物は増加し続けないなら「あのプレムダンは手強くない」ということは成り立つ fact14: あのプレムダンは増加し続ける fact15: 仮にあのプレムダンが海外遠征であるしまた来れるとすればあの企業能力は惨い fact16: なんらかの物は水行するし増加し続ける fact17: この起訴状朗読は水行するなら「あのプレムダンは手強くないけれど惨い」ということは成り立たない fact18: もしもあのプレムダンが海外遠征でないけれど来れるならばあの企業能力は惨い fact19: とあるものは来れるし海外遠征だ fact20: もし「「惨くない」ということは成り立つ」物があればあの企業能力は手強くない fact21: 仮に「惨いということはない」ものがあるとするとあのプレムダンは海外遠征でない fact22: もしあのプレムダンが惨いということはないならばあの企業能力は惨いということはない fact23: 「「水行するしおまけに増加し続ける」ということは間違っている」物はある
void -> assump1: 以下のように仮定する。「あのプレムダンは海外遠征でない一方でそれは来れる」ということは偽である; fact5 & assump1 -> int1: あのプレムダンは手強い; fact11 & fact23 -> int2: あのプレムダンは手強くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのプレムダンは海外遠征であるということはないけれど来れる; int4 & fact18 -> hypothesis;
あの企業能力は惨くない
fact26 -> int5: もし「あのプレムダンは手強くないけど惨い」ということは間違っているとするとそれは惨くない;
$facts$ = fact1: その信用供与は増加し続ける fact2: もしもあのプレムダンが海外遠征だとしたら手強い fact3: もし仮にあのパイピングは増加し続けるとすれば「この起訴状朗読は増加し続ける」ということは正しい fact4: もし仮に「とあるものは手強くないがしかし惨い」ということは成り立たないとすればそれは惨くない fact5: もしも「あのプレムダンは海外遠征であるということはないけど来れる」ということは成り立たないとすると手強い fact6: あのプレムダンは海外遠征でない fact7: 仮に「「来れない」ということは間違っているということはない」物はあるなら「あのプレムダンは海外遠征でない」ということは本当だ fact8: 「「あのプレムダンは惨いということはないがそれは来れる」ということは誤りである」ということは成り立つ fact9: もしもあの企業能力が来れるということはないとしたら惨い fact10: 仮に「あの企業能力は惨くないけどそれは来れる」ということは成り立たないとすると「海外遠征である」ということは本当だ fact11: 仮に「「水行するし増加し続ける」ということは成り立たない」物があればあのプレムダンは手強くない fact12: もしとある物は手強くないならば「惨いし水行する」ということは成り立たない fact13: もしとある物は増加し続けないなら「あのプレムダンは手強くない」ということは成り立つ fact14: あのプレムダンは増加し続ける fact15: 仮にあのプレムダンが海外遠征であるしまた来れるとすればあの企業能力は惨い fact16: なんらかの物は水行するし増加し続ける fact17: この起訴状朗読は水行するなら「あのプレムダンは手強くないけれど惨い」ということは成り立たない fact18: もしもあのプレムダンが海外遠征でないけれど来れるならばあの企業能力は惨い fact19: とあるものは来れるし海外遠征だ fact20: もし「「惨くない」ということは成り立つ」物があればあの企業能力は手強くない fact21: 仮に「惨いということはない」ものがあるとするとあのプレムダンは海外遠征でない fact22: もしあのプレムダンが惨いということはないならばあの企業能力は惨いということはない fact23: 「「水行するしおまけに増加し続ける」ということは間違っている」物はある ; $hypothesis$ = あの企業能力は惨い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのプレムダンは海外遠征でない一方でそれは来れる」ということは偽である; fact5 & assump1 -> int1: あのプレムダンは手強い; fact11 & fact23 -> int2: あのプレムダンは手強くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのプレムダンは海外遠征であるということはないけれど来れる; int4 & fact18 -> 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: 「「水行するしおまけに増加し続ける」ということは間違っている」物はある

仮説: あの企業能力は惨い
1. 仮定1: 以下のように仮定する。「あのプレムダンは海外遠征でない一方でそれは来れる」ということは偽である
2. 事実5と仮定1から、推論1: "あのプレムダンは手強い"が導かれる
3. 事実11と事実23から、推論2: "あのプレムダンは手強くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのプレムダンは海外遠征であるということはないけれど来れる"が導かれる
6. 推論4と事実18から、仮説が導かれる

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