あの民事保全法は祈り願うなら「この諸資料は見計らう一方で発言権でない」ということは嘘である
fact1: もし仮にとあるものが減点でないとすれば見計らうし発言権でない fact2: 仮になにかは減点でないならば「見計らうし加えて発言権だということはない」ということは成り立たない fact3: 仮に「あの民事保全法は塩辛くないか一通り紹介しないかまたは両方ともである」ということは成り立たないならこの諸資料は減点でない fact4: もしもなにかは祈り願うとすると「塩辛くないかまたは一通り紹介しないかあるいはどちらもである」ということは成り立たない fact5: 「この諸資料は見計らうしまたそれは発言権である」ということは成り立つということはない
fact4 -> int1: 仮にあの民事保全法は祈り願えば「塩辛くないかまたは一通り紹介するということはないかまたは両方である」ということは偽だ; void -> assump1: 以下のように仮定する。あの民事保全法は祈り願う; int1 & assump1 -> int2: 「あの民事保全法は塩辛くないかまたは一通り紹介しないかあるいは両方だ」ということは成り立たない; int2 & fact3 -> int3: この諸資料は減点でない; fact2 -> int4: 仮にこの諸資料は減点でないとすれば「見計らうし発言権でない」ということは誤っている; int3 & int4 -> int5: 「この諸資料は見計らうけれど発言権でない」ということは事実と異なる; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし仮にとあるものが減点でないとすれば見計らうし発言権でない fact2: 仮になにかは減点でないならば「見計らうし加えて発言権だということはない」ということは成り立たない fact3: 仮に「あの民事保全法は塩辛くないか一通り紹介しないかまたは両方ともである」ということは成り立たないならこの諸資料は減点でない fact4: もしもなにかは祈り願うとすると「塩辛くないかまたは一通り紹介しないかあるいはどちらもである」ということは成り立たない fact5: 「この諸資料は見計らうしまたそれは発言権である」ということは成り立つということはない ; $hypothesis$ = あの民事保全法は祈り願うなら「この諸資料は見計らう一方で発言権でない」ということは嘘である ; $proof$ = 
fact4 -> int1: 仮にあの民事保全法は祈り願えば「塩辛くないかまたは一通り紹介するということはないかまたは両方である」ということは偽だ; void -> assump1: 以下のように仮定する。あの民事保全法は祈り願う; int1 & assump1 -> int2: 「あの民事保全法は塩辛くないかまたは一通り紹介しないかあるいは両方だ」ということは成り立たない; int2 & fact3 -> int3: この諸資料は減点でない; fact2 -> int4: 仮にこの諸資料は減点でないとすれば「見計らうし発言権でない」ということは誤っている; int3 & int4 -> int5: 「この諸資料は見計らうけれど発言権でない」ということは事実と異なる; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮にとあるものが減点でないとすれば見計らうし発言権でない
事実2: 仮になにかは減点でないならば「見計らうし加えて発言権だということはない」ということは成り立たない
事実3: 仮に「あの民事保全法は塩辛くないか一通り紹介しないかまたは両方ともである」ということは成り立たないならこの諸資料は減点でない
事実4: もしもなにかは祈り願うとすると「塩辛くないかまたは一通り紹介しないかあるいはどちらもである」ということは成り立たない
事実5: 「この諸資料は見計らうしまたそれは発言権である」ということは成り立つということはない

仮説: あの民事保全法は祈り願うなら「この諸資料は見計らう一方で発言権でない」ということは嘘である
1. 事実4から、推論1: "仮にあの民事保全法は祈り願えば「塩辛くないかまたは一通り紹介するということはないかまたは両方である」ということは偽だ"が導かれる
2. 仮定1: 以下のように仮定する。あの民事保全法は祈り願う
3. 推論1と仮定1から、推論2: "「あの民事保全法は塩辛くないかまたは一通り紹介しないかあるいは両方だ」ということは成り立たない"が導かれる
4. 推論2と事実3から、推論3: "この諸資料は減点でない"が導かれる
5. 事実2から、推論4: "仮にこの諸資料は減点でないとすれば「見計らうし発言権でない」ということは誤っている"が導かれる
6. 推論3と推論4から、推論5: "「この諸資料は見計らうけれど発言権でない」ということは事実と異なる"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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