この夢告は遣り始める
fact1: もし仮にこの電気羊は自然消滅するとすれば「あの和紙は自然消滅しない」ということは成り立たない fact2: ある物は難聴学級である fact3: 仮に痛み易いものがカラーページであるならこの六分の一程度は封じ込める fact4: もしも「「反発し合う」ということは事実な」物があるならその異常感覚は狙い難い fact5: 「「「反発し合わないしまた突き抜けるということはない」ということは成り立たない」物はある」ということは事実である fact6: カラーページはある fact7: 「「反発し合わない一方で突き抜ける」ということは間違いである」ものはある fact8: もし仮に「「Ｅラーニングでないしかつ痛み易くない」ということは成り立たない」物があるならばあの第八詩節は自然消滅する fact9: あの和紙はＥラーニングだ fact10: 「反発し合わなくて突き抜けない」ものはある fact11: もしもとある物が封じ込めないとしたらそれは痛み易いかあるいはカラーページであるかあるいは両方ともである fact12: もしも「「能楽堂であるか難聴学級でないかまたは両方ともだ」ということは間違いな」ものがあるとしたらこの電気羊は自然消滅する fact13: この第八詩節がＥラーニングだとするとあの和紙は痛み易い fact14: もしも「この六分の一程度は封じ込める」ということは成り立つとすればこの夢告は遣り始める fact15: 仮に「あの和紙は封じ込めるけどそれは痛み易くない」ということは間違っているとすると「この第八詩節は痛み易くない」ということは成り立つ fact16: 「「反発し合うしさらに突き抜けない」ということは確かでない」ものはある fact17: もし仮になにがしかのものがＥラーニングでないとしたらそれは難聴学級であるしそれは狙い難くない fact18: 「能楽堂であるということはない」物はある fact19: もしも「「「反発し合うということはなくて突き抜けない」ということは成り立たない」物はある」ということは真実であるとするとその異常感覚は狙い難い fact20: 「「能楽堂であるかまたは難聴学級であるかどちらもである」ということは事実と異なる」ものはある fact21: もしなにがしかの物は自然消滅すれば「カラーページである」ということは真実である fact22: 「「能楽堂であるかまたは難聴学級でないかあるいは両方だ」ということは成り立たない」物はある fact23: とある物は能楽堂であるか難聴学級でないかもしくはどちらもだ fact24: もしもその異常感覚が狙い難いならこの第八詩節はＥラーニングである fact25: 「痛み易い」ものはある
fact5 & fact19 -> int1: その異常感覚は狙い難い; int1 & fact24 -> int2: この第八詩節はＥラーニングである; int2 & fact13 -> int3: あの和紙は痛み易い; fact21 -> int4: あの和紙は自然消滅すれば「それはカラーページだ」ということは本当だ; fact22 & fact12 -> int5: この電気羊は自然消滅する; int5 & fact1 -> int6: あの和紙は自然消滅する; int4 & int6 -> int7: あの和紙はカラーページである; int3 & int7 -> int8: あの和紙は痛み易いしカラーページである; int8 -> int9: なんらかの物は痛み易くて加えてカラーページだ; int9 & fact3 -> int10: この六分の一程度は封じ込める; int10 & fact14 -> hypothesis;
この六分の一程度は難聴学級だ
fact27 -> int11: 「もしもこの六分の一程度がＥラーニングでないとしたらこの六分の一程度は難聴学級である一方で狙い難くない」ということは確かだ; fact26 -> int12: もしもこの六分の一程度が封じ込めるということはないならばそれは痛み易いかもしくはカラーページだ;
$facts$ = fact1: もし仮にこの電気羊は自然消滅するとすれば「あの和紙は自然消滅しない」ということは成り立たない fact2: ある物は難聴学級である fact3: 仮に痛み易いものがカラーページであるならこの六分の一程度は封じ込める fact4: もしも「「反発し合う」ということは事実な」物があるならその異常感覚は狙い難い fact5: 「「「反発し合わないしまた突き抜けるということはない」ということは成り立たない」物はある」ということは事実である fact6: カラーページはある fact7: 「「反発し合わない一方で突き抜ける」ということは間違いである」ものはある fact8: もし仮に「「Ｅラーニングでないしかつ痛み易くない」ということは成り立たない」物があるならばあの第八詩節は自然消滅する fact9: あの和紙はＥラーニングだ fact10: 「反発し合わなくて突き抜けない」ものはある fact11: もしもとある物が封じ込めないとしたらそれは痛み易いかあるいはカラーページであるかあるいは両方ともである fact12: もしも「「能楽堂であるか難聴学級でないかまたは両方ともだ」ということは間違いな」ものがあるとしたらこの電気羊は自然消滅する fact13: この第八詩節がＥラーニングだとするとあの和紙は痛み易い fact14: もしも「この六分の一程度は封じ込める」ということは成り立つとすればこの夢告は遣り始める fact15: 仮に「あの和紙は封じ込めるけどそれは痛み易くない」ということは間違っているとすると「この第八詩節は痛み易くない」ということは成り立つ fact16: 「「反発し合うしさらに突き抜けない」ということは確かでない」ものはある fact17: もし仮になにがしかのものがＥラーニングでないとしたらそれは難聴学級であるしそれは狙い難くない fact18: 「能楽堂であるということはない」物はある fact19: もしも「「「反発し合うということはなくて突き抜けない」ということは成り立たない」物はある」ということは真実であるとするとその異常感覚は狙い難い fact20: 「「能楽堂であるかまたは難聴学級であるかどちらもである」ということは事実と異なる」ものはある fact21: もしなにがしかの物は自然消滅すれば「カラーページである」ということは真実である fact22: 「「能楽堂であるかまたは難聴学級でないかあるいは両方だ」ということは成り立たない」物はある fact23: とある物は能楽堂であるか難聴学級でないかもしくはどちらもだ fact24: もしもその異常感覚が狙い難いならこの第八詩節はＥラーニングである fact25: 「痛み易い」ものはある ; $hypothesis$ = この夢告は遣り始める ; $proof$ = 
fact5 & fact19 -> int1: その異常感覚は狙い難い; int1 & fact24 -> int2: この第八詩節はＥラーニングである; int2 & fact13 -> int3: あの和紙は痛み易い; fact21 -> int4: あの和紙は自然消滅すれば「それはカラーページだ」ということは本当だ; fact22 & fact12 -> int5: この電気羊は自然消滅する; int5 & fact1 -> int6: あの和紙は自然消滅する; int4 & int6 -> int7: あの和紙はカラーページである; int3 & int7 -> int8: あの和紙は痛み易いしカラーページである; int8 -> int9: なんらかの物は痛み易くて加えてカラーページだ; int9 & fact3 -> int10: この六分の一程度は封じ込める; int10 & fact14 -> hypothesis; __PROVED__
事実1: もし仮にこの電気羊は自然消滅するとすれば「あの和紙は自然消滅しない」ということは成り立たない
事実2: ある物は難聴学級である
事実3: 仮に痛み易いものがカラーページであるならこの六分の一程度は封じ込める
事実4: もしも「「反発し合う」ということは事実な」物があるならその異常感覚は狙い難い
事実5: 「「「反発し合わないしまた突き抜けるということはない」ということは成り立たない」物はある」ということは事実である
事実6: カラーページはある
事実7: 「「反発し合わない一方で突き抜ける」ということは間違いである」ものはある
事実8: もし仮に「「Ｅラーニングでないしかつ痛み易くない」ということは成り立たない」物があるならばあの第八詩節は自然消滅する
事実9: あの和紙はＥラーニングだ
事実10: 「反発し合わなくて突き抜けない」ものはある
事実11: もしもとある物が封じ込めないとしたらそれは痛み易いかあるいはカラーページであるかあるいは両方ともである
事実12: もしも「「能楽堂であるか難聴学級でないかまたは両方ともだ」ということは間違いな」ものがあるとしたらこの電気羊は自然消滅する
事実13: この第八詩節がＥラーニングだとするとあの和紙は痛み易い
事実14: もしも「この六分の一程度は封じ込める」ということは成り立つとすればこの夢告は遣り始める
事実15: 仮に「あの和紙は封じ込めるけどそれは痛み易くない」ということは間違っているとすると「この第八詩節は痛み易くない」ということは成り立つ
事実16: 「「反発し合うしさらに突き抜けない」ということは確かでない」ものはある
事実17: もし仮になにがしかのものがＥラーニングでないとしたらそれは難聴学級であるしそれは狙い難くない
事実18: 「能楽堂であるということはない」物はある
事実19: もしも「「「反発し合うということはなくて突き抜けない」ということは成り立たない」物はある」ということは真実であるとするとその異常感覚は狙い難い
事実20: 「「能楽堂であるかまたは難聴学級であるかどちらもである」ということは事実と異なる」ものはある
事実21: もしなにがしかの物は自然消滅すれば「カラーページである」ということは真実である
事実22: 「「能楽堂であるかまたは難聴学級でないかあるいは両方だ」ということは成り立たない」物はある
事実23: とある物は能楽堂であるか難聴学級でないかもしくはどちらもだ
事実24: もしもその異常感覚が狙い難いならこの第八詩節はＥラーニングである
事実25: 「痛み易い」ものはある

仮説: この夢告は遣り始める
1. 事実5と事実19から、推論1: "その異常感覚は狙い難い"が導かれる
2. 推論1と事実24から、推論2: "この第八詩節はＥラーニングである"が導かれる
3. 推論2と事実13から、推論3: "あの和紙は痛み易い"が導かれる
4. 事実21から、推論4: "あの和紙は自然消滅すれば「それはカラーページだ」ということは本当だ"が導かれる
5. 事実22と事実12から、推論5: "この電気羊は自然消滅する"が導かれる
6. 推論5と事実1から、推論6: "あの和紙は自然消滅する"が導かれる
7. 推論4と推論6から、推論7: "あの和紙はカラーページである"が導かれる
8. 推論3と推論7から、推論8: "あの和紙は痛み易いしカラーページである"が導かれる
9. 推論8から、推論9: "なんらかの物は痛み易くて加えてカラーページだ"が導かれる
10. 推論9と事実3から、推論10: "この六分の一程度は封じ込める"が導かれる
11. 推論10と事実14から、仮説が導かれる

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