この抑揚はされ易い
fact1: とある物は説明し易くないし癒し難くない fact2: もしも「あのウエッブページは難し過ぎる」ということは成り立てばそれは染め直すということはない fact3: 仮にあのウエッブページは染め直せば「この公共職業安定所は難し過ぎないかもしくはそれは空々しかない」ということは成り立たない fact4: 仮に「手入れしないし加えて与え難くない」物があるならばあのウエッブページは教育水準である fact5: この公共職業安定所は説明し易いし染め直す fact6: もしもこの童形が癒し難いならそれは手入れしなくて更に与え難くない fact7: もし仮にこの童形が癒し難くないとするとその空港アクセスサービスは無音部分だ一方で苦しくない fact8: もしもなんらかの物が休み始めるなら益無しないかもしくは草臥れるか両方である fact9: 「仮にこの公共職業安定所は説明し易いとしたら「「あのウエッブページは難し過ぎないかまたは空々しかないかもしくは両方ともだ」ということは成り立たない」ということは嘘でない」ということは成り立つ fact10: 仮にこの抑揚が苦しいならそれはされ易いということはなくておまけに無音部分でない fact11: もしその空港アクセスサービスが無音部分だしそれに苦しいとすればあの抑揚はされ易い fact12: 仮にその空港アクセスサービスが無音部分である一方で苦しくないならばこの抑揚はされ易い fact13: この童形は手入れするということはない fact14: 「あのウエッブページは空々しいということはないかあるいは説明し易くないかあるいは両方ともだ」ということは成り立たない fact15: もしもあのウエッブページは難し過ぎれば無音部分でない fact16: 仮になにかは教育水準ならばそれは難し過ぎないかそれは空々しかない fact17: 空々しいということはない物は癒し難くて更に教育水準である fact18: その空港アクセスサービスは染め直す
void -> assump1: 以下のように仮定する。この童形は癒し難い; fact6 & assump1 -> int1: この童形は手入れしなくてそれは与え難くない; int1 -> int2: 「手入れするということはないしかつ与え難くない」物はある; int2 & fact4 -> int3: あのウエッブページは教育水準である; fact16 -> int4: 仮にあのウエッブページが教育水準だとすればそれは難し過ぎるということはないかあるいは空々しいということはないかどちらもである; int3 & int4 -> int5: あのウエッブページは難し過ぎないかもしくはそれは空々しかないかあるいはどちらもだ; fact5 -> int6: この公共職業安定所は説明し易い; int6 & fact9 -> int7: 「あのウエッブページは難し過ぎないかまたは空々しかないかまたは両方である」ということは事実と異なる; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この童形は癒し難いということはない」ということは成り立つ; int9 & fact7 -> int10: 「その空港アクセスサービスは無音部分である一方で苦しくない」ということは成り立つ; int10 & fact12 -> hypothesis;
この抑揚はされ易くない
fact19 -> int11: もしもこの童形が空々しかないならばそれは癒し難いしそれは教育水準だ;
$facts$ = fact1: とある物は説明し易くないし癒し難くない fact2: もしも「あのウエッブページは難し過ぎる」ということは成り立てばそれは染め直すということはない fact3: 仮にあのウエッブページは染め直せば「この公共職業安定所は難し過ぎないかもしくはそれは空々しかない」ということは成り立たない fact4: 仮に「手入れしないし加えて与え難くない」物があるならばあのウエッブページは教育水準である fact5: この公共職業安定所は説明し易いし染め直す fact6: もしもこの童形が癒し難いならそれは手入れしなくて更に与え難くない fact7: もし仮にこの童形が癒し難くないとするとその空港アクセスサービスは無音部分だ一方で苦しくない fact8: もしもなんらかの物が休み始めるなら益無しないかもしくは草臥れるか両方である fact9: 「仮にこの公共職業安定所は説明し易いとしたら「「あのウエッブページは難し過ぎないかまたは空々しかないかもしくは両方ともだ」ということは成り立たない」ということは嘘でない」ということは成り立つ fact10: 仮にこの抑揚が苦しいならそれはされ易いということはなくておまけに無音部分でない fact11: もしその空港アクセスサービスが無音部分だしそれに苦しいとすればあの抑揚はされ易い fact12: 仮にその空港アクセスサービスが無音部分である一方で苦しくないならばこの抑揚はされ易い fact13: この童形は手入れするということはない fact14: 「あのウエッブページは空々しいということはないかあるいは説明し易くないかあるいは両方ともだ」ということは成り立たない fact15: もしもあのウエッブページは難し過ぎれば無音部分でない fact16: 仮になにかは教育水準ならばそれは難し過ぎないかそれは空々しかない fact17: 空々しいということはない物は癒し難くて更に教育水準である fact18: その空港アクセスサービスは染め直す ; $hypothesis$ = この抑揚はされ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。この童形は癒し難い; fact6 & assump1 -> int1: この童形は手入れしなくてそれは与え難くない; int1 -> int2: 「手入れするということはないしかつ与え難くない」物はある; int2 & fact4 -> int3: あのウエッブページは教育水準である; fact16 -> int4: 仮にあのウエッブページが教育水準だとすればそれは難し過ぎるということはないかあるいは空々しいということはないかどちらもである; int3 & int4 -> int5: あのウエッブページは難し過ぎないかもしくはそれは空々しかないかあるいはどちらもだ; fact5 -> int6: この公共職業安定所は説明し易い; int6 & fact9 -> int7: 「あのウエッブページは難し過ぎないかまたは空々しかないかまたは両方である」ということは事実と異なる; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この童形は癒し難いということはない」ということは成り立つ; int9 & fact7 -> int10: 「その空港アクセスサービスは無音部分である一方で苦しくない」ということは成り立つ; int10 & fact12 -> hypothesis; __PROVED__
事実1: とある物は説明し易くないし癒し難くない
事実2: もしも「あのウエッブページは難し過ぎる」ということは成り立てばそれは染め直すということはない
事実3: 仮にあのウエッブページは染め直せば「この公共職業安定所は難し過ぎないかもしくはそれは空々しかない」ということは成り立たない
事実4: 仮に「手入れしないし加えて与え難くない」物があるならばあのウエッブページは教育水準である
事実5: この公共職業安定所は説明し易いし染め直す
事実6: もしもこの童形が癒し難いならそれは手入れしなくて更に与え難くない
事実7: もし仮にこの童形が癒し難くないとするとその空港アクセスサービスは無音部分だ一方で苦しくない
事実8: もしもなんらかの物が休み始めるなら益無しないかもしくは草臥れるか両方である
事実9: 「仮にこの公共職業安定所は説明し易いとしたら「「あのウエッブページは難し過ぎないかまたは空々しかないかもしくは両方ともだ」ということは成り立たない」ということは嘘でない」ということは成り立つ
事実10: 仮にこの抑揚が苦しいならそれはされ易いということはなくておまけに無音部分でない
事実11: もしその空港アクセスサービスが無音部分だしそれに苦しいとすればあの抑揚はされ易い
事実12: 仮にその空港アクセスサービスが無音部分である一方で苦しくないならばこの抑揚はされ易い
事実13: この童形は手入れするということはない
事実14: 「あのウエッブページは空々しいということはないかあるいは説明し易くないかあるいは両方ともだ」ということは成り立たない
事実15: もしもあのウエッブページは難し過ぎれば無音部分でない
事実16: 仮になにかは教育水準ならばそれは難し過ぎないかそれは空々しかない
事実17: 空々しいということはない物は癒し難くて更に教育水準である
事実18: その空港アクセスサービスは染め直す

仮説: この抑揚はされ易い
1. 仮定1: 以下のように仮定する。この童形は癒し難い
2. 事実6と仮定1から、推論1: "この童形は手入れしなくてそれは与え難くない"が導かれる
3. 推論1から、推論2: "「手入れするということはないしかつ与え難くない」物はある"が導かれる
4. 推論2と事実4から、推論3: "あのウエッブページは教育水準である"が導かれる
5. 事実16から、推論4: "仮にあのウエッブページが教育水準だとすればそれは難し過ぎるということはないかあるいは空々しいということはないかどちらもである"が導かれる
6. 推論3と推論4から、推論5: "あのウエッブページは難し過ぎないかもしくはそれは空々しかないかあるいはどちらもだ"が導かれる
7. 事実5から、推論6: "この公共職業安定所は説明し易い"が導かれる
8. 推論6と事実9から、推論7: "「あのウエッブページは難し過ぎないかまたは空々しかないかまたは両方である」ということは事実と異なる"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「この童形は癒し難いということはない」ということは成り立つ"が導かれる
11. 推論9と事実7から、推論10: "「その空港アクセスサービスは無音部分である一方で苦しくない」ということは成り立つ"が導かれる
12. 推論10と事実12から、仮説が導かれる

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