その完全支配関係は定量化である
fact1: なんらかの物が苛々し易いとしたらそれは冴え渡る fact2: あの地図データは暮らし易いしさらに口枠である fact3: 「あの地図データは口枠である」ということは成り立つ fact4: 「もし仮になにがしかの物は暮らし易いがしかし口枠でないとしたら定量化でない」ということは事実だ fact5: この国際ペンは定量化である fact6: もし仮にあの地図データがリークするとすればそれは婚約する fact7: 暮らし易い物はリークする fact8: もしもあの地図データが婚約するならそれは苛々し易い fact9: もしあの地図データが冴え渡るとしたらこの国際ペンはフィナーレである fact10: もしこの国際ペンがフィナーレであるとすればその完全支配関係は定量化である
fact2 -> int1: あの地図データは暮らし易い; fact7 -> int2: もしあの地図データが暮らし易いとすればリークする; int1 & int2 -> int3: あの地図データはリークする; int3 & fact6 -> int4: あの地図データは婚約する; int4 & fact8 -> int5: あの地図データは苛々し易い; fact1 -> int6: もし仮にあの地図データが苛々し易いとすればそれは冴え渡る; int5 & int6 -> int7: 「あの地図データは冴え渡る」ということは本当である; int7 & fact9 -> int8: この国際ペンはフィナーレだ; int8 & fact10 -> hypothesis;
その完全支配関係は定量化でない
fact11 -> int9: その完全支配関係が暮らし易いがしかし口枠でないとすると定量化だということはない;
$facts$ = fact1: なんらかの物が苛々し易いとしたらそれは冴え渡る fact2: あの地図データは暮らし易いしさらに口枠である fact3: 「あの地図データは口枠である」ということは成り立つ fact4: 「もし仮になにがしかの物は暮らし易いがしかし口枠でないとしたら定量化でない」ということは事実だ fact5: この国際ペンは定量化である fact6: もし仮にあの地図データがリークするとすればそれは婚約する fact7: 暮らし易い物はリークする fact8: もしもあの地図データが婚約するならそれは苛々し易い fact9: もしあの地図データが冴え渡るとしたらこの国際ペンはフィナーレである fact10: もしこの国際ペンがフィナーレであるとすればその完全支配関係は定量化である ; $hypothesis$ = その完全支配関係は定量化である ; $proof$ = 
fact2 -> int1: あの地図データは暮らし易い; fact7 -> int2: もしあの地図データが暮らし易いとすればリークする; int1 & int2 -> int3: あの地図データはリークする; int3 & fact6 -> int4: あの地図データは婚約する; int4 & fact8 -> int5: あの地図データは苛々し易い; fact1 -> int6: もし仮にあの地図データが苛々し易いとすればそれは冴え渡る; int5 & int6 -> int7: 「あの地図データは冴え渡る」ということは本当である; int7 & fact9 -> int8: この国際ペンはフィナーレだ; int8 & fact10 -> hypothesis; __PROVED__
事実1: なんらかの物が苛々し易いとしたらそれは冴え渡る
事実2: あの地図データは暮らし易いしさらに口枠である
事実3: 「あの地図データは口枠である」ということは成り立つ
事実4: 「もし仮になにがしかの物は暮らし易いがしかし口枠でないとしたら定量化でない」ということは事実だ
事実5: この国際ペンは定量化である
事実6: もし仮にあの地図データがリークするとすればそれは婚約する
事実7: 暮らし易い物はリークする
事実8: もしもあの地図データが婚約するならそれは苛々し易い
事実9: もしあの地図データが冴え渡るとしたらこの国際ペンはフィナーレである
事実10: もしこの国際ペンがフィナーレであるとすればその完全支配関係は定量化である

仮説: その完全支配関係は定量化である
1. 事実2から、推論1: "あの地図データは暮らし易い"が導かれる
2. 事実7から、推論2: "もしあの地図データが暮らし易いとすればリークする"が導かれる
3. 推論1と推論2から、推論3: "あの地図データはリークする"が導かれる
4. 推論3と事実6から、推論4: "あの地図データは婚約する"が導かれる
5. 推論4と事実8から、推論5: "あの地図データは苛々し易い"が導かれる
6. 事実1から、推論6: "もし仮にあの地図データが苛々し易いとすればそれは冴え渡る"が導かれる
7. 推論5と推論6から、推論7: "「あの地図データは冴え渡る」ということは本当である"が導かれる
8. 推論7と事実9から、推論8: "この国際ペンはフィナーレだ"が導かれる
9. 推論8と事実10から、仮説が導かれる

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