この州レベルは算定し難くない
fact1: 仮にとあるものは言えらないとすれば「象使いであるということはなくてそれに監視光だ」ということは真実でない fact2: 「この州レベルはアダージョ楽章であるし言い辛い」ということは成り立たない fact3: もし何かは御神体でないなら「「それは鎮静化しないし加えてそれは入り易い」ということは正しい」ということは成り立たない fact4: 「「「御神体だし殉葬する」ということは確かである」ということは事実と異なる」ものがあるとするとこのメル友は御神体でない fact5: 「このメル友は鎮静化するししかも入り易い」ということは成り立たない fact6: もし仮になにがしかの物は算定し難いとすれば「アダージョ楽章で加えて言い辛い」ということは成り立つということはない fact7: もしも「なんらかの物はアダージョ楽章であるということはないけど言い辛い」ということは成り立たないとすればそれは好もしいということはない fact8: 仮になんらかの物は算定し難いとしたら「それはアダージョ楽章でないけれど言い辛い」ということは成り立たない fact9: 仮にこの州レベルが好もしいということはないならこのメル友は三十六Ｆでない fact10: このメル友は鎮静化しない fact11: もし「このメル友は三十六Ｆでない」ということは事実であるとするとそれは鎮静化するということはない fact12: もしある物は御神体でないとすると「それは鎮静化するしそれは入り易い」ということは成り立たない fact13: 仮になにがしかのものは三十六Ｆでないならば鎮静化するということはない fact14: もし仮にこの州レベルは算定し難くないならば「「それは鎮静化しないがアダージョ楽章だ」ということは事実と異ならない」ということは間違っている fact15: もし仮に「殉葬しない」ものがあるとしたらこのメル友は御神体でない fact16: もしこの州レベルがアダージョ楽章だとすればそれは好もしかない fact17: もしなにがしかの物は三十六Ｆであるということはないとすればそれは鎮静化しないけど入り易い fact18: 「「瞬くし鎧戸である」ということは誤りな」物はある fact19: 「「御神体で殉葬する」ということは誤っている」ものはある
fact8 -> int1: もしもこの州レベルは算定し難いならば「アダージョ楽章でなくて言い辛い」ということは成り立たない; void -> assump1: 以下のように仮定する。この州レベルは算定し難い; int1 & assump1 -> int2: 「この州レベルはアダージョ楽章でないが言い辛い」ということは成り立たない; fact7 -> int3: もしも「この州レベルはアダージョ楽章でないが言い辛い」ということは成り立たないとしたら好もしかない; int2 & int3 -> int4: この州レベルは好もしかない; int4 & fact9 -> int5: このメル友は三十六Ｆでない; fact17 -> int6: もしこのメル友は三十六Ｆでないとすると鎮静化しないがしかし入り易い; int5 & int6 -> int7: このメル友は鎮静化しないけれど入り易い; fact3 -> int8: もしもこのメル友は御神体でないならば「鎮静化しないがしかし入り易い」ということは本当でない; fact4 & fact19 -> int9: このメル友は御神体でない; int8 & int9 -> int10: 「このメル友は鎮静化しない一方でそれは入り易い」ということは成り立たない; int7 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
$facts$ = fact1: 仮にとあるものは言えらないとすれば「象使いであるということはなくてそれに監視光だ」ということは真実でない fact2: 「この州レベルはアダージョ楽章であるし言い辛い」ということは成り立たない fact3: もし何かは御神体でないなら「「それは鎮静化しないし加えてそれは入り易い」ということは正しい」ということは成り立たない fact4: 「「「御神体だし殉葬する」ということは確かである」ということは事実と異なる」ものがあるとするとこのメル友は御神体でない fact5: 「このメル友は鎮静化するししかも入り易い」ということは成り立たない fact6: もし仮になにがしかの物は算定し難いとすれば「アダージョ楽章で加えて言い辛い」ということは成り立つということはない fact7: もしも「なんらかの物はアダージョ楽章であるということはないけど言い辛い」ということは成り立たないとすればそれは好もしいということはない fact8: 仮になんらかの物は算定し難いとしたら「それはアダージョ楽章でないけれど言い辛い」ということは成り立たない fact9: 仮にこの州レベルが好もしいということはないならこのメル友は三十六Ｆでない fact10: このメル友は鎮静化しない fact11: もし「このメル友は三十六Ｆでない」ということは事実であるとするとそれは鎮静化するということはない fact12: もしある物は御神体でないとすると「それは鎮静化するしそれは入り易い」ということは成り立たない fact13: 仮になにがしかのものは三十六Ｆでないならば鎮静化するということはない fact14: もし仮にこの州レベルは算定し難くないならば「「それは鎮静化しないがアダージョ楽章だ」ということは事実と異ならない」ということは間違っている fact15: もし仮に「殉葬しない」ものがあるとしたらこのメル友は御神体でない fact16: もしこの州レベルがアダージョ楽章だとすればそれは好もしかない fact17: もしなにがしかの物は三十六Ｆであるということはないとすればそれは鎮静化しないけど入り易い fact18: 「「瞬くし鎧戸である」ということは誤りな」物はある fact19: 「「御神体で殉葬する」ということは誤っている」ものはある ; $hypothesis$ = この州レベルは算定し難くない ; $proof$ = 
fact8 -> int1: もしもこの州レベルは算定し難いならば「アダージョ楽章でなくて言い辛い」ということは成り立たない; void -> assump1: 以下のように仮定する。この州レベルは算定し難い; int1 & assump1 -> int2: 「この州レベルはアダージョ楽章でないが言い辛い」ということは成り立たない; fact7 -> int3: もしも「この州レベルはアダージョ楽章でないが言い辛い」ということは成り立たないとしたら好もしかない; int2 & int3 -> int4: この州レベルは好もしかない; int4 & fact9 -> int5: このメル友は三十六Ｆでない; fact17 -> int6: もしこのメル友は三十六Ｆでないとすると鎮静化しないがしかし入り易い; int5 & int6 -> int7: このメル友は鎮静化しないけれど入り易い; fact3 -> int8: もしもこのメル友は御神体でないならば「鎮静化しないがしかし入り易い」ということは本当でない; fact4 & fact19 -> int9: このメル友は御神体でない; int8 & int9 -> int10: 「このメル友は鎮静化しない一方でそれは入り易い」ということは成り立たない; int7 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __PROVED__
事実1: 仮にとあるものは言えらないとすれば「象使いであるということはなくてそれに監視光だ」ということは真実でない
事実2: 「この州レベルはアダージョ楽章であるし言い辛い」ということは成り立たない
事実3: もし何かは御神体でないなら「「それは鎮静化しないし加えてそれは入り易い」ということは正しい」ということは成り立たない
事実4: 「「「御神体だし殉葬する」ということは確かである」ということは事実と異なる」ものがあるとするとこのメル友は御神体でない
事実5: 「このメル友は鎮静化するししかも入り易い」ということは成り立たない
事実6: もし仮になにがしかの物は算定し難いとすれば「アダージョ楽章で加えて言い辛い」ということは成り立つということはない
事実7: もしも「なんらかの物はアダージョ楽章であるということはないけど言い辛い」ということは成り立たないとすればそれは好もしいということはない
事実8: 仮になんらかの物は算定し難いとしたら「それはアダージョ楽章でないけれど言い辛い」ということは成り立たない
事実9: 仮にこの州レベルが好もしいということはないならこのメル友は三十六Ｆでない
事実10: このメル友は鎮静化しない
事実11: もし「このメル友は三十六Ｆでない」ということは事実であるとするとそれは鎮静化するということはない
事実12: もしある物は御神体でないとすると「それは鎮静化するしそれは入り易い」ということは成り立たない
事実13: 仮になにがしかのものは三十六Ｆでないならば鎮静化するということはない
事実14: もし仮にこの州レベルは算定し難くないならば「「それは鎮静化しないがアダージョ楽章だ」ということは事実と異ならない」ということは間違っている
事実15: もし仮に「殉葬しない」ものがあるとしたらこのメル友は御神体でない
事実16: もしこの州レベルがアダージョ楽章だとすればそれは好もしかない
事実17: もしなにがしかの物は三十六Ｆであるということはないとすればそれは鎮静化しないけど入り易い
事実18: 「「瞬くし鎧戸である」ということは誤りな」物はある
事実19: 「「御神体で殉葬する」ということは誤っている」ものはある

仮説: この州レベルは算定し難くない
1. 事実8から、推論1: "もしもこの州レベルは算定し難いならば「アダージョ楽章でなくて言い辛い」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。この州レベルは算定し難い
3. 推論1と仮定1から、推論2: "「この州レベルはアダージョ楽章でないが言い辛い」ということは成り立たない"が導かれる
4. 事実7から、推論3: "もしも「この州レベルはアダージョ楽章でないが言い辛い」ということは成り立たないとしたら好もしかない"が導かれる
5. 推論2と推論3から、推論4: "この州レベルは好もしかない"が導かれる
6. 推論4と事実9から、推論5: "このメル友は三十六Ｆでない"が導かれる
7. 事実17から、推論6: "もしこのメル友は三十六Ｆでないとすると鎮静化しないがしかし入り易い"が導かれる
8. 推論5と推論6から、推論7: "このメル友は鎮静化しないけれど入り易い"が導かれる
9. 事実3から、推論8: "もしもこのメル友は御神体でないならば「鎮静化しないがしかし入り易い」ということは本当でない"が導かれる
10. 事実4と事実19から、推論9: "このメル友は御神体でない"が導かれる
11. 推論8と推論9から、推論10: "「このメル友は鎮静化しない一方でそれは入り易い」ということは成り立たない"が導かれる
12. 推論7と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が導かれる

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