その映画作りはピーピングでない
fact1: 「商工業団体はピーピングだ」ということは確かである fact2: この威厳は刮げ取らない fact3: もしもその安全・安心が手緩くないならばあのプロポーションは暫くするということはないしおまけに薄くない fact4: あの世界連邦政府は商工業団体でない fact5: なんらかのものは連れ添わなくてそれにホームシックでない fact6: 何らかのものは商工業団体である一方で刮げ取らない fact7: その安全・安心は手緩いということはない fact8: その映画作りは刮げ取るということはない fact9: 「なんらかの物は商工業団体でないがしかし刮げ取る」ということは正しい fact10: 「商工業団体でない」ものはある fact11: あの世界連邦政府は刮げ取らない fact12: もしも「商工業団体であるということはないしそれに刮げ取らない」物があるならその映画作りはピーピングでない
fact4 & fact11 -> int1: あの世界連邦政府は商工業団体でないしその上それは刮げ取らない; int1 -> int2: なにがしかの物は商工業団体でなくてしかも刮げ取らない; int2 & fact12 -> hypothesis;
その映画作りはピーピングだ
fact13 -> int3: もしその映画作りは商工業団体であるならばピーピングである; fact15 & fact14 -> int4: そのプロポーションは暫くするということはないしさらに薄くない; int4 -> int5: 「あるものは暫くしないしそれに薄くない」ということは成り立つ;
$facts$ = fact1: 「商工業団体はピーピングだ」ということは確かである fact2: この威厳は刮げ取らない fact3: もしもその安全・安心が手緩くないならばあのプロポーションは暫くするということはないしおまけに薄くない fact4: あの世界連邦政府は商工業団体でない fact5: なんらかのものは連れ添わなくてそれにホームシックでない fact6: 何らかのものは商工業団体である一方で刮げ取らない fact7: その安全・安心は手緩いということはない fact8: その映画作りは刮げ取るということはない fact9: 「なんらかの物は商工業団体でないがしかし刮げ取る」ということは正しい fact10: 「商工業団体でない」ものはある fact11: あの世界連邦政府は刮げ取らない fact12: もしも「商工業団体であるということはないしそれに刮げ取らない」物があるならその映画作りはピーピングでない ; $hypothesis$ = その映画作りはピーピングでない ; $proof$ = 
fact4 & fact11 -> int1: あの世界連邦政府は商工業団体でないしその上それは刮げ取らない; int1 -> int2: なにがしかの物は商工業団体でなくてしかも刮げ取らない; int2 & fact12 -> hypothesis; __PROVED__
事実1: 「商工業団体はピーピングだ」ということは確かである
事実2: この威厳は刮げ取らない
事実3: もしもその安全・安心が手緩くないならばあのプロポーションは暫くするということはないしおまけに薄くない
事実4: あの世界連邦政府は商工業団体でない
事実5: なんらかのものは連れ添わなくてそれにホームシックでない
事実6: 何らかのものは商工業団体である一方で刮げ取らない
事実7: その安全・安心は手緩いということはない
事実8: その映画作りは刮げ取るということはない
事実9: 「なんらかの物は商工業団体でないがしかし刮げ取る」ということは正しい
事実10: 「商工業団体でない」ものはある
事実11: あの世界連邦政府は刮げ取らない
事実12: もしも「商工業団体であるということはないしそれに刮げ取らない」物があるならその映画作りはピーピングでない

仮説: その映画作りはピーピングでない
1. 事実4と事実11から、推論1: "あの世界連邦政府は商工業団体でないしその上それは刮げ取らない"が導かれる
2. 推論1から、推論2: "なにがしかの物は商工業団体でなくてしかも刮げ取らない"が導かれる
3. 推論2と事実12から、仮説が導かれる

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