その電荷分布は取り易いけど久しくない
fact1: 仮になにがしかの物はミイラ化しないけど御願い致すとすれば「認知的位置付けでない」ということは本当だ fact2: 「ミイラ化するしおまけに認知的位置付けである」ものはある fact3: 「その電荷分布は取り易くて加えてそれは久しい」ということは真実でない fact4: なにかは説明し得るとすると丸っこい fact5: 「ある物は御願い致さない」ということは成り立つとするとそれが口汚いしその上認知的位置付けだ fact6: 「あの禁断は飛び去る」ということは成り立つ fact7: その電荷分布は久しくない fact8: 「あのカディアンは集まり易いけれど丸っこいということはない」ということは間違いだ fact9: もしも「その電荷分布は取り易いが久しくない」ということは誤りであるならばこの落下地点は御願い致す fact10: もし仮に「久しくてかつ御願い致す」物があればその電荷分布は取り易くない fact11: 「ミイラ化する」物はある fact12: 仮に「この落下地点は認知的位置付けでない」ということは確かであるならば「その電荷分布は取り易いが久しいということはない」ということは成り立たない fact13: 仮に「「集まり易くて丸っこくない」ということは偽な」物があればあの禁断は気怠くらない fact14: 「この落下地点は取り易い」ということは本当であるとすればその電荷分布は久しい fact15: あの禁断は飛び去るとすれば「説明し得ないししかもそれは汚れ難いということはない」ということは確かでない fact16: もしあの禁断は気怠くないならば「この落下地点は御願い致すしミイラ化する」ということは事実と異なる fact17: もしもあの禁断が丸っこくてさらにそれが集まり易いならば気怠くらない fact18: 「あの禁断が随喜しなくて加えてそれが晴れはましくらない」ということは誤りである fact19: もし仮に「なにがしかのものは説明し得ないしかつ汚れ難くない」ということは成り立たないとすると「説明し得る」ということは事実だ fact20: 「「認知的位置付けだ」ということは成り立つ」ものはある fact21: もし仮に「この落下地点は御願い致すしミイラ化する」ということは事実でないならばその電荷分布は御願い致さない fact22: もし「何らかのものは随喜しなくて更に晴れがましいということはない」ということは本当でないとすれば集まり易い fact23: 仮に何かはミイラ化するし認知的位置付けだとするとこの落下地点は御願い致さない
void -> assump1: 以下のように仮定する。「その電荷分布は取り易いけど久しいということはない」ということは成り立つということはない; fact9 & assump1 -> int1: この落下地点は御願い致す; fact23 & fact2 -> int2: この落下地点は御願い致さない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「その電荷分布は取り易いがしかし久しくない」ということは成り立たない
fact31 -> int4: もしもこの落下地点がミイラ化しない一方で御願い致すとすると認知的位置付けでない; fact26 -> int5: もし仮にあの禁断が説明し得るとすれば丸っこい; fact32 -> int6: もし「あの禁断は説明し得るということはなくて汚れ難くない」ということは間違いならば説明し得る; fact25 & fact28 -> int7: 「あの禁断は説明し得ないしまた汚れ難くない」ということは間違っている; int6 & int7 -> int8: あの禁断は説明し得る; int5 & int8 -> int9: あの禁断は丸っこい; fact24 -> int10: 仮に「あの禁断は随喜しないしそれに晴れがましいということはない」ということは成り立たないとしたら集まり易い; int10 & fact30 -> int11: あの禁断は集まり易い; int9 & int11 -> int12: あの禁断は丸っこくて集まり易い; fact27 & int12 -> int13: あの禁断は気怠くらない; int13 -> int14: 「気怠くらない」物はある;
$facts$ = fact1: 仮になにがしかの物はミイラ化しないけど御願い致すとすれば「認知的位置付けでない」ということは本当だ fact2: 「ミイラ化するしおまけに認知的位置付けである」ものはある fact3: 「その電荷分布は取り易くて加えてそれは久しい」ということは真実でない fact4: なにかは説明し得るとすると丸っこい fact5: 「ある物は御願い致さない」ということは成り立つとするとそれが口汚いしその上認知的位置付けだ fact6: 「あの禁断は飛び去る」ということは成り立つ fact7: その電荷分布は久しくない fact8: 「あのカディアンは集まり易いけれど丸っこいということはない」ということは間違いだ fact9: もしも「その電荷分布は取り易いが久しくない」ということは誤りであるならばこの落下地点は御願い致す fact10: もし仮に「久しくてかつ御願い致す」物があればその電荷分布は取り易くない fact11: 「ミイラ化する」物はある fact12: 仮に「この落下地点は認知的位置付けでない」ということは確かであるならば「その電荷分布は取り易いが久しいということはない」ということは成り立たない fact13: 仮に「「集まり易くて丸っこくない」ということは偽な」物があればあの禁断は気怠くらない fact14: 「この落下地点は取り易い」ということは本当であるとすればその電荷分布は久しい fact15: あの禁断は飛び去るとすれば「説明し得ないししかもそれは汚れ難いということはない」ということは確かでない fact16: もしあの禁断は気怠くないならば「この落下地点は御願い致すしミイラ化する」ということは事実と異なる fact17: もしもあの禁断が丸っこくてさらにそれが集まり易いならば気怠くらない fact18: 「あの禁断が随喜しなくて加えてそれが晴れはましくらない」ということは誤りである fact19: もし仮に「なにがしかのものは説明し得ないしかつ汚れ難くない」ということは成り立たないとすると「説明し得る」ということは事実だ fact20: 「「認知的位置付けだ」ということは成り立つ」ものはある fact21: もし仮に「この落下地点は御願い致すしミイラ化する」ということは事実でないならばその電荷分布は御願い致さない fact22: もし「何らかのものは随喜しなくて更に晴れがましいということはない」ということは本当でないとすれば集まり易い fact23: 仮に何かはミイラ化するし認知的位置付けだとするとこの落下地点は御願い致さない ; $hypothesis$ = その電荷分布は取り易いけど久しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その電荷分布は取り易いけど久しいということはない」ということは成り立つということはない; fact9 & assump1 -> int1: この落下地点は御願い致す; fact23 & fact2 -> int2: この落下地点は御願い致さない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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: 仮に何かはミイラ化するし認知的位置付けだとするとこの落下地点は御願い致さない

仮説: その電荷分布は取り易いけど久しくない
1. 仮定1: 以下のように仮定する。「その電荷分布は取り易いけど久しいということはない」ということは成り立つということはない
2. 事実9と仮定1から、推論1: "この落下地点は御願い致す"が導かれる
3. 事実23と事実2から、推論2: "この落下地点は御願い致さない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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