その福島支局は暴騰しない
fact1: 仮に「その福島支局は暴騰しないかそれは参加し易いかもしくは両方だ」ということは間違いだとするとこの廃人はＨＺでない fact2: このプロジェクトマネージャは暴騰しない fact3: 「この疎明資料は見分け難い」ということは確かだ fact4: この教区帳簿はＨＺだ fact5: 仮にあるものがＨＺでないならばそれは参加し易くて更に暴騰する fact6: 仮にこの多文化主義政策が自立訓練だとするとあのサーバ上は引き比べるということはないけどそれは分かり易い fact7: もしもこの疎明資料がＨＺでないけれどそれは取り扱い易いとすると「それは参加し易くない」ということは真実だ fact8: もし仮にあのサーバ上が返還三十周年記念行事だということはない一方でそれはＨＺであるとすれば「その福島支局はＨＺでない」ということは真実だ fact9: もしも「この多文化主義政策は引き比べるがしかし返還三十周年記念行事であるということはない」ということは間違いならばあのサーバ上は引き比べない fact10: もし仮になにがしかのものが引き比べないとしたら返還三十周年記念行事であるということはないけれどＨＺだ fact11: もしもその福島支局が参加し易くないがしかしそれがＨＺならそれは暴騰しない fact12: もしこの疎明資料が参加し易くないとすればあの福島支局は参加し易いということはないけどＨＺだ fact13: 参加し易い物は取り扱い易くないしその上見分け難くない fact14: もしあのサーバ上が引き比べないならその福島支局は引き比べる
fact13 -> int1: 「この疎明資料は参加し易い」ということは確かであるならばそれは取り扱い易くないしさらに見分け難くない; void -> assump1: 以下のように仮定する。この疎明資料は参加し易い; int1 & assump1 -> int2: この疎明資料は取り扱い易くなくてその上見分け難くない; int2 -> int3: この疎明資料は見分け難くない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この疎明資料は参加し易くない; int5 & fact12 -> int6: その福島支局は参加し易くないけれどそれはＨＺである; int6 & fact11 -> hypothesis;
その福島支局は暴騰する
fact15 -> int7: 仮にその福島支局がＨＺでないなら参加し易いしそれは暴騰する; fact16 -> int8: 仮にあのサーバ上が引き比べるということはないとしたらそれは返還三十周年記念行事でなくてＨＺである;
$facts$ = fact1: 仮に「その福島支局は暴騰しないかそれは参加し易いかもしくは両方だ」ということは間違いだとするとこの廃人はＨＺでない fact2: このプロジェクトマネージャは暴騰しない fact3: 「この疎明資料は見分け難い」ということは確かだ fact4: この教区帳簿はＨＺだ fact5: 仮にあるものがＨＺでないならばそれは参加し易くて更に暴騰する fact6: 仮にこの多文化主義政策が自立訓練だとするとあのサーバ上は引き比べるということはないけどそれは分かり易い fact7: もしもこの疎明資料がＨＺでないけれどそれは取り扱い易いとすると「それは参加し易くない」ということは真実だ fact8: もし仮にあのサーバ上が返還三十周年記念行事だということはない一方でそれはＨＺであるとすれば「その福島支局はＨＺでない」ということは真実だ fact9: もしも「この多文化主義政策は引き比べるがしかし返還三十周年記念行事であるということはない」ということは間違いならばあのサーバ上は引き比べない fact10: もし仮になにがしかのものが引き比べないとしたら返還三十周年記念行事であるということはないけれどＨＺだ fact11: もしもその福島支局が参加し易くないがしかしそれがＨＺならそれは暴騰しない fact12: もしこの疎明資料が参加し易くないとすればあの福島支局は参加し易いということはないけどＨＺだ fact13: 参加し易い物は取り扱い易くないしその上見分け難くない fact14: もしあのサーバ上が引き比べないならその福島支局は引き比べる ; $hypothesis$ = その福島支局は暴騰しない ; $proof$ = 
fact13 -> int1: 「この疎明資料は参加し易い」ということは確かであるならばそれは取り扱い易くないしさらに見分け難くない; void -> assump1: 以下のように仮定する。この疎明資料は参加し易い; int1 & assump1 -> int2: この疎明資料は取り扱い易くなくてその上見分け難くない; int2 -> int3: この疎明資料は見分け難くない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この疎明資料は参加し易くない; int5 & fact12 -> int6: その福島支局は参加し易くないけれどそれはＨＺである; int6 & fact11 -> hypothesis; __PROVED__
事実1: 仮に「その福島支局は暴騰しないかそれは参加し易いかもしくは両方だ」ということは間違いだとするとこの廃人はＨＺでない
事実2: このプロジェクトマネージャは暴騰しない
事実3: 「この疎明資料は見分け難い」ということは確かだ
事実4: この教区帳簿はＨＺだ
事実5: 仮にあるものがＨＺでないならばそれは参加し易くて更に暴騰する
事実6: 仮にこの多文化主義政策が自立訓練だとするとあのサーバ上は引き比べるということはないけどそれは分かり易い
事実7: もしもこの疎明資料がＨＺでないけれどそれは取り扱い易いとすると「それは参加し易くない」ということは真実だ
事実8: もし仮にあのサーバ上が返還三十周年記念行事だということはない一方でそれはＨＺであるとすれば「その福島支局はＨＺでない」ということは真実だ
事実9: もしも「この多文化主義政策は引き比べるがしかし返還三十周年記念行事であるということはない」ということは間違いならばあのサーバ上は引き比べない
事実10: もし仮になにがしかのものが引き比べないとしたら返還三十周年記念行事であるということはないけれどＨＺだ
事実11: もしもその福島支局が参加し易くないがしかしそれがＨＺならそれは暴騰しない
事実12: もしこの疎明資料が参加し易くないとすればあの福島支局は参加し易いということはないけどＨＺだ
事実13: 参加し易い物は取り扱い易くないしその上見分け難くない
事実14: もしあのサーバ上が引き比べないならその福島支局は引き比べる

仮説: その福島支局は暴騰しない
1. 事実13から、推論1: "「この疎明資料は参加し易い」ということは確かであるならばそれは取り扱い易くないしさらに見分け難くない"が導かれる
2. 仮定1: 以下のように仮定する。この疎明資料は参加し易い
3. 推論1と仮定1から、推論2: "この疎明資料は取り扱い易くなくてその上見分け難くない"が導かれる
4. 推論2から、推論3: "この疎明資料は見分け難くない"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この疎明資料は参加し易くない"が導かれる
7. 推論5と事実12から、推論6: "その福島支局は参加し易くないけれどそれはＨＺである"が導かれる
8. 推論6と事実11から、仮説が導かれる

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