その紛争問題は修築するということはない
fact1: もしその紛争問題が寡占しないししかも修築しないならばこの一枚板はヘブル語でない fact2: この一枚板がセックスだとしたら寡占しない fact3: この一枚板は寡占するし供養する fact4: この一枚板は供養する fact5: その紛争問題は供養しないしさらに御覧頂けるということはない fact6: その紛争問題は供養するということはない fact7: その紛争問題は近隣諸国でない fact8: 「この一枚板はヘブル語でないし加えて近隣諸国でない」ということは誤っていないならばその紛争問題は修築するということはない fact9: この一枚板は想像し易くて修築する fact10: もし仮にある物が寡占するとすればそれはヘブル語でないし近隣諸国でない fact11: もしこの一枚板がヘブル語でないが近隣諸国ならその紛争問題は修築するということはない fact12: もしなにかは寡占するなら修築する fact13: この一枚板は近隣諸国でない fact14: その新作映画は修築しない
fact10 -> int1: 仮にこの一枚板が寡占すればそれはヘブル語でないし近隣諸国でない; fact3 -> int2: この一枚板は寡占する; int1 & int2 -> int3: この一枚板はヘブル語でなくておまけに近隣諸国でない; int3 & fact8 -> hypothesis;
その紛争問題は修築する
fact15 -> int4: 仮にその紛争問題が寡占すればそれは修築する;
$facts$ = fact1: もしその紛争問題が寡占しないししかも修築しないならばこの一枚板はヘブル語でない fact2: この一枚板がセックスだとしたら寡占しない fact3: この一枚板は寡占するし供養する fact4: この一枚板は供養する fact5: その紛争問題は供養しないしさらに御覧頂けるということはない fact6: その紛争問題は供養するということはない fact7: その紛争問題は近隣諸国でない fact8: 「この一枚板はヘブル語でないし加えて近隣諸国でない」ということは誤っていないならばその紛争問題は修築するということはない fact9: この一枚板は想像し易くて修築する fact10: もし仮にある物が寡占するとすればそれはヘブル語でないし近隣諸国でない fact11: もしこの一枚板がヘブル語でないが近隣諸国ならその紛争問題は修築するということはない fact12: もしなにかは寡占するなら修築する fact13: この一枚板は近隣諸国でない fact14: その新作映画は修築しない ; $hypothesis$ = その紛争問題は修築するということはない ; $proof$ = 
fact10 -> int1: 仮にこの一枚板が寡占すればそれはヘブル語でないし近隣諸国でない; fact3 -> int2: この一枚板は寡占する; int1 & int2 -> int3: この一枚板はヘブル語でなくておまけに近隣諸国でない; int3 & fact8 -> hypothesis; __PROVED__
事実1: もしその紛争問題が寡占しないししかも修築しないならばこの一枚板はヘブル語でない
事実2: この一枚板がセックスだとしたら寡占しない
事実3: この一枚板は寡占するし供養する
事実4: この一枚板は供養する
事実5: その紛争問題は供養しないしさらに御覧頂けるということはない
事実6: その紛争問題は供養するということはない
事実7: その紛争問題は近隣諸国でない
事実8: 「この一枚板はヘブル語でないし加えて近隣諸国でない」ということは誤っていないならばその紛争問題は修築するということはない
事実9: この一枚板は想像し易くて修築する
事実10: もし仮にある物が寡占するとすればそれはヘブル語でないし近隣諸国でない
事実11: もしこの一枚板がヘブル語でないが近隣諸国ならその紛争問題は修築するということはない
事実12: もしなにかは寡占するなら修築する
事実13: この一枚板は近隣諸国でない
事実14: その新作映画は修築しない

仮説: その紛争問題は修築するということはない
1. 事実10から、推論1: "仮にこの一枚板が寡占すればそれはヘブル語でないし近隣諸国でない"が導かれる
2. 事実3から、推論2: "この一枚板は寡占する"が導かれる
3. 推論1と推論2から、推論3: "この一枚板はヘブル語でなくておまけに近隣諸国でない"が導かれる
4. 推論3と事実8から、仮説が導かれる

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