もし「そのタックス・ヘイブン税制はスクリーンショットである」ということは真実であるとすればあの苦渋は尊くない
fact1: そのタックス・ヘイブン税制は嘘付ける fact2: そのタックス・ヘイブン税制は接見時間だ fact3: もし仮にそのタックス・ヘイブン税制が迷い易くないならばあの各新聞社は接見時間であるし加えて尊い fact4: そのタックス・ヘイブン税制はせこくない fact5: その実証分析編はスクリーンショットだということはない fact6: もしそのタックス・ヘイブン税制がスクリーンショットであるしまた接見時間であるとするとあの苦渋は嘘付けない fact7: もしもあの苦渋がスクリーンショットだとするとそのタックス・ヘイブン税制は嘘付ける fact8: もし仮にあの苦渋が嘘付けないとすれば尊くない fact9: もしせこくないものが改質するなら迷い易くない fact10: 仮にあの苦渋が接見時間ならばそのタックス・ヘイブン税制は尊いということはない fact11: 「そのタックス・ヘイブン税制はスクリーンショットだ」ということは本当だとしたらあの苦渋は尊い
void -> assump1: 以下のように仮定する。そのタックス・ヘイブン税制はスクリーンショットだ; assump1 & fact2 -> int1: そのタックス・ヘイブン税制はスクリーンショットであるしおまけに接見時間である; int1 & fact6 -> int2: あの苦渋は嘘付けない; int2 & fact8 -> int3: あの苦渋は尊くない; [assump1] & int3 -> hypothesis;
あの各新聞社は嘘付けない
fact12 -> int4: そのタックス・ヘイブン税制はせこくないが改質するとしたら迷い易くない;
$facts$ = fact1: そのタックス・ヘイブン税制は嘘付ける fact2: そのタックス・ヘイブン税制は接見時間だ fact3: もし仮にそのタックス・ヘイブン税制が迷い易くないならばあの各新聞社は接見時間であるし加えて尊い fact4: そのタックス・ヘイブン税制はせこくない fact5: その実証分析編はスクリーンショットだということはない fact6: もしそのタックス・ヘイブン税制がスクリーンショットであるしまた接見時間であるとするとあの苦渋は嘘付けない fact7: もしもあの苦渋がスクリーンショットだとするとそのタックス・ヘイブン税制は嘘付ける fact8: もし仮にあの苦渋が嘘付けないとすれば尊くない fact9: もしせこくないものが改質するなら迷い易くない fact10: 仮にあの苦渋が接見時間ならばそのタックス・ヘイブン税制は尊いということはない fact11: 「そのタックス・ヘイブン税制はスクリーンショットだ」ということは本当だとしたらあの苦渋は尊い ; $hypothesis$ = もし「そのタックス・ヘイブン税制はスクリーンショットである」ということは真実であるとすればあの苦渋は尊くない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのタックス・ヘイブン税制はスクリーンショットだ; assump1 & fact2 -> int1: そのタックス・ヘイブン税制はスクリーンショットであるしおまけに接見時間である; int1 & fact6 -> int2: あの苦渋は嘘付けない; int2 & fact8 -> int3: あの苦渋は尊くない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: そのタックス・ヘイブン税制は嘘付ける
事実2: そのタックス・ヘイブン税制は接見時間だ
事実3: もし仮にそのタックス・ヘイブン税制が迷い易くないならばあの各新聞社は接見時間であるし加えて尊い
事実4: そのタックス・ヘイブン税制はせこくない
事実5: その実証分析編はスクリーンショットだということはない
事実6: もしそのタックス・ヘイブン税制がスクリーンショットであるしまた接見時間であるとするとあの苦渋は嘘付けない
事実7: もしもあの苦渋がスクリーンショットだとするとそのタックス・ヘイブン税制は嘘付ける
事実8: もし仮にあの苦渋が嘘付けないとすれば尊くない
事実9: もしせこくないものが改質するなら迷い易くない
事実10: 仮にあの苦渋が接見時間ならばそのタックス・ヘイブン税制は尊いということはない
事実11: 「そのタックス・ヘイブン税制はスクリーンショットだ」ということは本当だとしたらあの苦渋は尊い

仮説: もし「そのタックス・ヘイブン税制はスクリーンショットである」ということは真実であるとすればあの苦渋は尊くない
1. 仮定1: 以下のように仮定する。そのタックス・ヘイブン税制はスクリーンショットだ
2. 仮定1と事実2から、推論1: "そのタックス・ヘイブン税制はスクリーンショットであるしおまけに接見時間である"が導かれる
3. 推論1と事実6から、推論2: "あの苦渋は嘘付けない"が導かれる
4. 推論2と事実8から、推論3: "あの苦渋は尊くない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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