あの寺院法度は東流するしまた衰える
fact1: 仮にあの寺院法度がつやつやするとするとこの発令所は慣れ切る fact2: もし仮になにがしかの物がエレガンスでないとすれば東流するしかつ衰える fact3: この発令所はインプラントである fact4: もし仮にあるものはエレガンスであるということはないとするとそれは東流する fact5: もし仮になにがしかの物は十月以降であるとするとそれはつやつやする fact6: この輸送路はインプラントだ fact7: もしあの寺院法度はエレガンスであるとすると「それはインプラントであるし確からしい」ということは嘘だ fact8: 回折角は顕在化し易い fact9: もし仮にこの発令所がつやつやしないとしたら撤回する fact10: 仮にあの寺院法度はエレガンスであるならば「インプラントであるし確からしくない」ということは誤りだ fact11: 「あるものはインプラントだけれど確からしくない」ということは成り立つということはないならばそれは起き難い fact12: もしあの寺院法度が衰えないならば聞き辛いしかつ暑い fact13: 起き難い物は十月以降だ fact14: あの寺院法度は東流する fact15: もしもなんらかの物はエレガンスであるということはないとすれば「それは慣れ切る」ということは成り立つ fact16: その圧縮材は慣れ切らない fact17: この発令所は慣れ切らない
void -> assump1: 以下のように仮定する。あの寺院法度はエレガンスである; fact10 & assump1 -> int1: 「あの寺院法度がインプラントだけど確からしくない」ということは成り立たない; fact11 -> int2: もしも「あの寺院法度はインプラントであるけど確からしいということはない」ということは誤りであるならそれは起き難い; int1 & int2 -> int3: あの寺院法度は起き難い; fact13 -> int4: もし「あの寺院法度は起き難い」ということは成り立つとしたら十月以降である; int3 & int4 -> int5: あの寺院法度は十月以降だ; fact5 -> int6: もしもあの寺院法度は十月以降であるとすればそれはつやつやする; int5 & int6 -> int7: あの寺院法度はつやつやする; int7 & fact1 -> int8: この発令所は慣れ切る; int8 & fact17 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの寺院法度はエレガンスでない; fact2 -> int11: もしもあの寺院法度はエレガンスでないならばそれは東流するし衰える; int10 & int11 -> hypothesis;
$facts$ = fact1: 仮にあの寺院法度がつやつやするとするとこの発令所は慣れ切る fact2: もし仮になにがしかの物がエレガンスでないとすれば東流するしかつ衰える fact3: この発令所はインプラントである fact4: もし仮にあるものはエレガンスであるということはないとするとそれは東流する fact5: もし仮になにがしかの物は十月以降であるとするとそれはつやつやする fact6: この輸送路はインプラントだ fact7: もしあの寺院法度はエレガンスであるとすると「それはインプラントであるし確からしい」ということは嘘だ fact8: 回折角は顕在化し易い fact9: もし仮にこの発令所がつやつやしないとしたら撤回する fact10: 仮にあの寺院法度はエレガンスであるならば「インプラントであるし確からしくない」ということは誤りだ fact11: 「あるものはインプラントだけれど確からしくない」ということは成り立つということはないならばそれは起き難い fact12: もしあの寺院法度が衰えないならば聞き辛いしかつ暑い fact13: 起き難い物は十月以降だ fact14: あの寺院法度は東流する fact15: もしもなんらかの物はエレガンスであるということはないとすれば「それは慣れ切る」ということは成り立つ fact16: その圧縮材は慣れ切らない fact17: この発令所は慣れ切らない ; $hypothesis$ = あの寺院法度は東流するしまた衰える ; $proof$ = 
void -> assump1: 以下のように仮定する。あの寺院法度はエレガンスである; fact10 & assump1 -> int1: 「あの寺院法度がインプラントだけど確からしくない」ということは成り立たない; fact11 -> int2: もしも「あの寺院法度はインプラントであるけど確からしいということはない」ということは誤りであるならそれは起き難い; int1 & int2 -> int3: あの寺院法度は起き難い; fact13 -> int4: もし「あの寺院法度は起き難い」ということは成り立つとしたら十月以降である; int3 & int4 -> int5: あの寺院法度は十月以降だ; fact5 -> int6: もしもあの寺院法度は十月以降であるとすればそれはつやつやする; int5 & int6 -> int7: あの寺院法度はつやつやする; int7 & fact1 -> int8: この発令所は慣れ切る; int8 & fact17 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの寺院法度はエレガンスでない; fact2 -> int11: もしもあの寺院法度はエレガンスでないならばそれは東流するし衰える; int10 & int11 -> hypothesis; __PROVED__
事実1: 仮にあの寺院法度がつやつやするとするとこの発令所は慣れ切る
事実2: もし仮になにがしかの物がエレガンスでないとすれば東流するしかつ衰える
事実3: この発令所はインプラントである
事実4: もし仮にあるものはエレガンスであるということはないとするとそれは東流する
事実5: もし仮になにがしかの物は十月以降であるとするとそれはつやつやする
事実6: この輸送路はインプラントだ
事実7: もしあの寺院法度はエレガンスであるとすると「それはインプラントであるし確からしい」ということは嘘だ
事実8: 回折角は顕在化し易い
事実9: もし仮にこの発令所がつやつやしないとしたら撤回する
事実10: 仮にあの寺院法度はエレガンスであるならば「インプラントであるし確からしくない」ということは誤りだ
事実11: 「あるものはインプラントだけれど確からしくない」ということは成り立つということはないならばそれは起き難い
事実12: もしあの寺院法度が衰えないならば聞き辛いしかつ暑い
事実13: 起き難い物は十月以降だ
事実14: あの寺院法度は東流する
事実15: もしもなんらかの物はエレガンスであるということはないとすれば「それは慣れ切る」ということは成り立つ
事実16: その圧縮材は慣れ切らない
事実17: この発令所は慣れ切らない

仮説: あの寺院法度は東流するしまた衰える
1. 仮定1: 以下のように仮定する。あの寺院法度はエレガンスである
2. 事実10と仮定1から、推論1: "「あの寺院法度がインプラントだけど確からしくない」ということは成り立たない"が導かれる
3. 事実11から、推論2: "もしも「あの寺院法度はインプラントであるけど確からしいということはない」ということは誤りであるならそれは起き難い"が導かれる
4. 推論1と推論2から、推論3: "あの寺院法度は起き難い"が導かれる
5. 事実13から、推論4: "もし「あの寺院法度は起き難い」ということは成り立つとしたら十月以降である"が導かれる
6. 推論3と推論4から、推論5: "あの寺院法度は十月以降だ"が導かれる
7. 事実5から、推論6: "もしもあの寺院法度は十月以降であるとすればそれはつやつやする"が導かれる
8. 推論5と推論6から、推論7: "あの寺院法度はつやつやする"が導かれる
9. 推論7と事実1から、推論8: "この発令所は慣れ切る"が導かれる
10. 推論8と事実17から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あの寺院法度はエレガンスでない"が導かれる
12. 事実2から、推論11: "もしもあの寺院法度はエレガンスでないならばそれは東流するし衰える"が導かれる
13. 推論10と推論11から、仮説が導かれる

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