「この糸屑は染み出ない」ということは成り立つ
fact1: もし仮にこの危険性・蓋然性が運用結果であるということはないならばその対応メディアは厚かましくて感応出来る fact2: もし仮にその対応メディアが運用結果だし想像し難いとするとこのブログページは愛しない fact3: もしもこの危険性・蓋然性が狭くないとするとその対応メディアは運用結果でありさらに剥離し難い fact4: この危険性・蓋然性は感応出来る一方で狭くない fact5: この糸屑は想像し難い fact6: このブログページは染み出る fact7: あの建値は染み出ない fact8: その対応メディアが担当しないかもしくはそれが運用結果であるということはないならあの十六年改正は剥離し難くない fact9: 仮にこのブログページが愛しないとするとあの十六年改正は愛しないか担当するということはないかあるいは両方ともである fact10: もしこのブログページが愛しないならばあの十六年改正は愛しないかあるいは担当する fact11: もし仮にあの十六年改正が愛しないか担当しないかもしくは両方ともならばこの糸屑は染み出ない fact12: その対応メディアは剥離し難い fact13: もしとある物が剥離し難いかまたは運用結果でないか両方であるなら「それは感応出来る」ということは間違いでない fact14: もしその対応メディアが想像し難くないならばこの糸屑は想像し難くないかまたは染み出るかどちらもである fact15: 「その対応メディアは共鳴し易い」ということは事実と異ならない fact16: この干物棚は運用結果だ fact17: もし仮に「ある物は狭いがしかし染み出ない」ということは成り立たないとしたら染み出る fact18: なんらかのものは感応出来れば「狭くて染み出ない」ということは間違っている fact19: もし仮にその対応メディアが厚かましいならそれは想像し難い fact20: この字典は想像し難くない fact21: その対応メディアは厚かましい
fact4 -> int1: この危険性・蓋然性は狭くない; int1 & fact3 -> int2: その対応メディアは運用結果だし加えて剥離し難い; int2 -> int3: その対応メディアは運用結果だ; fact21 & fact19 -> int4: その対応メディアは想像し難い; int3 & int4 -> int5: その対応メディアは運用結果であるしそれに想像し難い; int5 & fact2 -> int6: このブログページは愛しない; int6 & fact9 -> int7: あの十六年改正は愛しないかまたは担当しない; int7 & fact11 -> hypothesis;
「この糸屑は染み出る」ということは確かだ
fact24 -> int8: もしも「この糸屑は狭いがしかしそれは染み出ない」ということは成り立たないとすれば染み出る; fact23 -> int9: もしこの糸屑は感応出来るとすると「それは狭いしそれは染み出ない」ということは嘘である; fact22 -> int10: 仮にこの糸屑は剥離し難いかあるいは運用結果でないなら「それは感応出来る」ということは成り立つ;
$facts$ = fact1: もし仮にこの危険性・蓋然性が運用結果であるということはないならばその対応メディアは厚かましくて感応出来る fact2: もし仮にその対応メディアが運用結果だし想像し難いとするとこのブログページは愛しない fact3: もしもこの危険性・蓋然性が狭くないとするとその対応メディアは運用結果でありさらに剥離し難い fact4: この危険性・蓋然性は感応出来る一方で狭くない fact5: この糸屑は想像し難い fact6: このブログページは染み出る fact7: あの建値は染み出ない fact8: その対応メディアが担当しないかもしくはそれが運用結果であるということはないならあの十六年改正は剥離し難くない fact9: 仮にこのブログページが愛しないとするとあの十六年改正は愛しないか担当するということはないかあるいは両方ともである fact10: もしこのブログページが愛しないならばあの十六年改正は愛しないかあるいは担当する fact11: もし仮にあの十六年改正が愛しないか担当しないかもしくは両方ともならばこの糸屑は染み出ない fact12: その対応メディアは剥離し難い fact13: もしとある物が剥離し難いかまたは運用結果でないか両方であるなら「それは感応出来る」ということは間違いでない fact14: もしその対応メディアが想像し難くないならばこの糸屑は想像し難くないかまたは染み出るかどちらもである fact15: 「その対応メディアは共鳴し易い」ということは事実と異ならない fact16: この干物棚は運用結果だ fact17: もし仮に「ある物は狭いがしかし染み出ない」ということは成り立たないとしたら染み出る fact18: なんらかのものは感応出来れば「狭くて染み出ない」ということは間違っている fact19: もし仮にその対応メディアが厚かましいならそれは想像し難い fact20: この字典は想像し難くない fact21: その対応メディアは厚かましい ; $hypothesis$ = 「この糸屑は染み出ない」ということは成り立つ ; $proof$ = 
fact4 -> int1: この危険性・蓋然性は狭くない; int1 & fact3 -> int2: その対応メディアは運用結果だし加えて剥離し難い; int2 -> int3: その対応メディアは運用結果だ; fact21 & fact19 -> int4: その対応メディアは想像し難い; int3 & int4 -> int5: その対応メディアは運用結果であるしそれに想像し難い; int5 & fact2 -> int6: このブログページは愛しない; int6 & fact9 -> int7: あの十六年改正は愛しないかまたは担当しない; int7 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にこの危険性・蓋然性が運用結果であるということはないならばその対応メディアは厚かましくて感応出来る
事実2: もし仮にその対応メディアが運用結果だし想像し難いとするとこのブログページは愛しない
事実3: もしもこの危険性・蓋然性が狭くないとするとその対応メディアは運用結果でありさらに剥離し難い
事実4: この危険性・蓋然性は感応出来る一方で狭くない
事実5: この糸屑は想像し難い
事実6: このブログページは染み出る
事実7: あの建値は染み出ない
事実8: その対応メディアが担当しないかもしくはそれが運用結果であるということはないならあの十六年改正は剥離し難くない
事実9: 仮にこのブログページが愛しないとするとあの十六年改正は愛しないか担当するということはないかあるいは両方ともである
事実10: もしこのブログページが愛しないならばあの十六年改正は愛しないかあるいは担当する
事実11: もし仮にあの十六年改正が愛しないか担当しないかもしくは両方ともならばこの糸屑は染み出ない
事実12: その対応メディアは剥離し難い
事実13: もしとある物が剥離し難いかまたは運用結果でないか両方であるなら「それは感応出来る」ということは間違いでない
事実14: もしその対応メディアが想像し難くないならばこの糸屑は想像し難くないかまたは染み出るかどちらもである
事実15: 「その対応メディアは共鳴し易い」ということは事実と異ならない
事実16: この干物棚は運用結果だ
事実17: もし仮に「ある物は狭いがしかし染み出ない」ということは成り立たないとしたら染み出る
事実18: なんらかのものは感応出来れば「狭くて染み出ない」ということは間違っている
事実19: もし仮にその対応メディアが厚かましいならそれは想像し難い
事実20: この字典は想像し難くない
事実21: その対応メディアは厚かましい

仮説: 「この糸屑は染み出ない」ということは成り立つ
1. 事実4から、推論1: "この危険性・蓋然性は狭くない"が導かれる
2. 推論1と事実3から、推論2: "その対応メディアは運用結果だし加えて剥離し難い"が導かれる
3. 推論2から、推論3: "その対応メディアは運用結果だ"が導かれる
4. 事実21と事実19から、推論4: "その対応メディアは想像し難い"が導かれる
5. 推論3と推論4から、推論5: "その対応メディアは運用結果であるしそれに想像し難い"が導かれる
6. 推論5と事実2から、推論6: "このブログページは愛しない"が導かれる
7. 推論6と事実9から、推論7: "あの十六年改正は愛しないかまたは担当しない"が導かれる
8. 推論7と事実11から、仮説が導かれる

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