「その信号源は螺子山でないしおまけに巡業しない」ということは成り立たない
fact1: もしも「「なんらかのものは癌化するしさらにＥＱだ」ということは事実だ」ということは成り立たないならば螺子山でない fact2: 仮にとある物が癌化しないならそれは螺子山でない fact3: 「あのアルスロデルマ属は螺子山だということはないとしたら「その信号源は螺子山でないし巡業しない」ということは間違っている」ということは事実と異ならない fact4: 仮にとあるものが恙無いならそれは癌化するということはない fact5: 仮に何らかのものが輝かしとするとそれは右脇腹だということはない fact6: もしも「ふてぶてしくない」ものがあるとするとその期初は恙無い fact7: 仮に「「ふてぶてしいし同意出来ない」ということは間違いである」ものがあればその期初は恙無い fact8: もし何かは止む無くないとすれば「ふてぶてしいけど同意出来ない」ということは誤っている fact9: もしあのアルスロデルマ属が癌化しないなら螺子山でない fact10: もし仮に何らかの物がふてぶてしくないとしたら凛々しくないがしかし止む無し fact11: えげつないものは分割承継法人等でない fact12: 「「ふてぶてしいしその上同意出来る」ということは成り立たない」物はある fact13: あの蜘蛛膜下出血は止む無くなくて凛々しくない fact14: もしあのアルスロデルマ属は巡業しないとすれば「その信号源は巡業するし癌化する」ということは成り立たない fact15: 「その信号源は螺子山でないけど巡業する」ということは成り立たない fact16: 「あの蜘蛛膜下出血は凛々しくない」ということは間違いでない fact17: その期初は優しない fact18: 凛々しい物はふてぶてしくない fact19: 「ふてぶてしい一方で同意出来ない」ものはある fact20: もしあのアルスロデルマ属は螺子山であるということはないならば「その信号源は螺子山でないが巡業する」ということは成り立たない fact21: もしあのアルスロデルマ属は螺子山でないならば「その信号源は螺子山であるがしかし巡業しない」ということは間違っている fact22: 仮にその期初は癌化しないなら「あのアルスロデルマ属は癌化するしかつＥＱだ」ということは偽だ fact23: 「その信号源は螺子山である一方でそれは巡業しない」ということは真実でない fact24: あの蜘蛛膜下出血はＥＱでない
fact13 -> int1: 「あの蜘蛛膜下出血は止む無くない」ということは成り立つ; fact8 -> int2: もしあの蜘蛛膜下出血は止む無しということはないならば「ふてぶてしくておまけにそれは同意出来るということはない」ということは間違いである; int1 & int2 -> int3: 「あの蜘蛛膜下出血はふてぶてしい一方で同意出来ない」ということは間違いだ; int3 -> int4: 「「ふてぶてしいがしかし同意出来ない」ということは確かでない」物はある; int4 & fact7 -> int5: 「その期初は恙無い」ということは成り立つ; fact4 -> int6: その期初が恙無いとするとそれは癌化しない; int5 & int6 -> int7: その期初は癌化しない; int7 & fact22 -> int8: 「あのアルスロデルマ属は癌化するしＥＱだ」ということは真実でない; fact1 -> int9: もしも「あのアルスロデルマ属は癌化するしＥＱだ」ということは誤っているとすると螺子山でない; int8 & int9 -> int10: あのアルスロデルマ属は螺子山でない; int10 & fact3 -> hypothesis;
その信号源は螺子山でないし更に巡業しない
fact25 -> int11: もし仮にその信号源がふてぶてしいということはないとすると凛々しくない一方で止む無し;
$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: あの蜘蛛膜下出血はＥＱでない ; $hypothesis$ = 「その信号源は螺子山でないしおまけに巡業しない」ということは成り立たない ; $proof$ = 
fact13 -> int1: 「あの蜘蛛膜下出血は止む無くない」ということは成り立つ; fact8 -> int2: もしあの蜘蛛膜下出血は止む無しということはないならば「ふてぶてしくておまけにそれは同意出来るということはない」ということは間違いである; int1 & int2 -> int3: 「あの蜘蛛膜下出血はふてぶてしい一方で同意出来ない」ということは間違いだ; int3 -> int4: 「「ふてぶてしいがしかし同意出来ない」ということは確かでない」物はある; int4 & fact7 -> int5: 「その期初は恙無い」ということは成り立つ; fact4 -> int6: その期初が恙無いとするとそれは癌化しない; int5 & int6 -> int7: その期初は癌化しない; int7 & fact22 -> int8: 「あのアルスロデルマ属は癌化するしＥＱだ」ということは真実でない; fact1 -> int9: もしも「あのアルスロデルマ属は癌化するしＥＱだ」ということは誤っているとすると螺子山でない; int8 & int9 -> int10: あのアルスロデルマ属は螺子山でない; int10 & fact3 -> 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: あの蜘蛛膜下出血はＥＱでない

仮説: 「その信号源は螺子山でないしおまけに巡業しない」ということは成り立たない
1. 事実13から、推論1: "「あの蜘蛛膜下出血は止む無くない」ということは成り立つ"が導かれる
2. 事実8から、推論2: "もしあの蜘蛛膜下出血は止む無しということはないならば「ふてぶてしくておまけにそれは同意出来るということはない」ということは間違いである"が導かれる
3. 推論1と推論2から、推論3: "「あの蜘蛛膜下出血はふてぶてしい一方で同意出来ない」ということは間違いだ"が導かれる
4. 推論3から、推論4: "「「ふてぶてしいがしかし同意出来ない」ということは確かでない」物はある"が導かれる
5. 推論4と事実7から、推論5: "「その期初は恙無い」ということは成り立つ"が導かれる
6. 事実4から、推論6: "その期初が恙無いとするとそれは癌化しない"が導かれる
7. 推論5と推論6から、推論7: "その期初は癌化しない"が導かれる
8. 推論7と事実22から、推論8: "「あのアルスロデルマ属は癌化するしＥＱだ」ということは真実でない"が導かれる
9. 事実1から、推論9: "もしも「あのアルスロデルマ属は癌化するしＥＱだ」ということは誤っているとすると螺子山でない"が導かれる
10. 推論8と推論9から、推論10: "あのアルスロデルマ属は螺子山でない"が導かれる
11. 推論10と事実3から、仮説が導かれる

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