「この字幕スーパーは称えらないがしかし汚染排出量である」ということは誤っている
fact1: もしこの退職金制度が力強いとするとこの字幕スーパーは称えるということはないけど汚染排出量だ fact2: もし仮にあのゲゼルシャフトが小高くないならそれは拭い切れるし抜き差す fact3: もしもこの退職金制度は称えらないとしたら「この字幕スーパーは抜き差すししかも転げ出す」ということは真実であるということはない fact4: あるものは転げ出すししかも称える fact5: もし仮にとあるものが転げ出すとしたら抜き差さない fact6: 仮にあのゲゼルシャフトは拭い切れないとしたら「この字幕スーパーは称えるということはないけどそれは汚染排出量だ」ということは誤っている fact7: 「称えるし拭い切れる」物はある fact8: 「力強いということはない」ものはある fact9: もし仮に「この退職金制度は抜き差さない」ということは正しいとしたらあのゲゼルシャフトは小高い fact10: この字幕スーパーは抜き差さない fact11: 「この字幕スーパーは生じ難いということはない一方で拭い切れる」ということは成り立たない fact12: 「力強くないけど自前である」物はある fact13: この字幕スーパーは転げ出す fact14: この退職金制度が抜き差さないとするとあのゲゼルシャフトは拭い切れないけど小高い fact15: もし仮にこの字幕スーパーが小高くないとするとあのゲゼルシャフトは汚染排出量でないがしかし称える fact16: 「汚染排出量な」ものはある fact17: もしもなんらかの物が力強くないがしかし自前であるとするとこの退職金制度は転げ出す
fact12 & fact17 -> int1: この退職金制度は転げ出す; fact5 -> int2: もし仮にこの退職金制度が転げ出すとしたらそれは抜き差さない; int1 & int2 -> int3: この退職金制度は抜き差さない; int3 & fact14 -> int4: あのゲゼルシャフトは拭い切れるということはない一方で小高い; int4 -> int5: あのゲゼルシャフトは拭い切れない; int5 & fact6 -> hypothesis;
この字幕スーパーは称えらないけれど汚染排出量である
$facts$ = fact1: もしこの退職金制度が力強いとするとこの字幕スーパーは称えるということはないけど汚染排出量だ fact2: もし仮にあのゲゼルシャフトが小高くないならそれは拭い切れるし抜き差す fact3: もしもこの退職金制度は称えらないとしたら「この字幕スーパーは抜き差すししかも転げ出す」ということは真実であるということはない fact4: あるものは転げ出すししかも称える fact5: もし仮にとあるものが転げ出すとしたら抜き差さない fact6: 仮にあのゲゼルシャフトは拭い切れないとしたら「この字幕スーパーは称えるということはないけどそれは汚染排出量だ」ということは誤っている fact7: 「称えるし拭い切れる」物はある fact8: 「力強いということはない」ものはある fact9: もし仮に「この退職金制度は抜き差さない」ということは正しいとしたらあのゲゼルシャフトは小高い fact10: この字幕スーパーは抜き差さない fact11: 「この字幕スーパーは生じ難いということはない一方で拭い切れる」ということは成り立たない fact12: 「力強くないけど自前である」物はある fact13: この字幕スーパーは転げ出す fact14: この退職金制度が抜き差さないとするとあのゲゼルシャフトは拭い切れないけど小高い fact15: もし仮にこの字幕スーパーが小高くないとするとあのゲゼルシャフトは汚染排出量でないがしかし称える fact16: 「汚染排出量な」ものはある fact17: もしもなんらかの物が力強くないがしかし自前であるとするとこの退職金制度は転げ出す ; $hypothesis$ = 「この字幕スーパーは称えらないがしかし汚染排出量である」ということは誤っている ; $proof$ = 
fact12 & fact17 -> int1: この退職金制度は転げ出す; fact5 -> int2: もし仮にこの退職金制度が転げ出すとしたらそれは抜き差さない; int1 & int2 -> int3: この退職金制度は抜き差さない; int3 & fact14 -> int4: あのゲゼルシャフトは拭い切れるということはない一方で小高い; int4 -> int5: あのゲゼルシャフトは拭い切れない; int5 & fact6 -> hypothesis; __PROVED__
事実1: もしこの退職金制度が力強いとするとこの字幕スーパーは称えるということはないけど汚染排出量だ
事実2: もし仮にあのゲゼルシャフトが小高くないならそれは拭い切れるし抜き差す
事実3: もしもこの退職金制度は称えらないとしたら「この字幕スーパーは抜き差すししかも転げ出す」ということは真実であるということはない
事実4: あるものは転げ出すししかも称える
事実5: もし仮にとあるものが転げ出すとしたら抜き差さない
事実6: 仮にあのゲゼルシャフトは拭い切れないとしたら「この字幕スーパーは称えるということはないけどそれは汚染排出量だ」ということは誤っている
事実7: 「称えるし拭い切れる」物はある
事実8: 「力強いということはない」ものはある
事実9: もし仮に「この退職金制度は抜き差さない」ということは正しいとしたらあのゲゼルシャフトは小高い
事実10: この字幕スーパーは抜き差さない
事実11: 「この字幕スーパーは生じ難いということはない一方で拭い切れる」ということは成り立たない
事実12: 「力強くないけど自前である」物はある
事実13: この字幕スーパーは転げ出す
事実14: この退職金制度が抜き差さないとするとあのゲゼルシャフトは拭い切れないけど小高い
事実15: もし仮にこの字幕スーパーが小高くないとするとあのゲゼルシャフトは汚染排出量でないがしかし称える
事実16: 「汚染排出量な」ものはある
事実17: もしもなんらかの物が力強くないがしかし自前であるとするとこの退職金制度は転げ出す

仮説: 「この字幕スーパーは称えらないがしかし汚染排出量である」ということは誤っている
1. 事実12と事実17から、推論1: "この退職金制度は転げ出す"が導かれる
2. 事実5から、推論2: "もし仮にこの退職金制度が転げ出すとしたらそれは抜き差さない"が導かれる
3. 推論1と推論2から、推論3: "この退職金制度は抜き差さない"が導かれる
4. 推論3と事実14から、推論4: "あのゲゼルシャフトは拭い切れるということはない一方で小高い"が導かれる
5. 推論4から、推論5: "あのゲゼルシャフトは拭い切れない"が導かれる
6. 推論5と事実6から、仮説が導かれる

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