「もし仮にビトーＲ＆Ｄであるとすれば凪ぐ」ものはある
fact1: 「「もし論断すれば設備図な」ものはある」ということは真実だ fact2: 仮に「何らかの物は凪ぐ」ということは本当ならそれはビトーＲ＆Ｄだ fact3: もしもあの死傷者数は御逃げに成るとすれば「領有権でないかまたはそれはビトーＲ＆Ｄでない」ということは成り立つということはない fact4: もしも「なにかは浅黒くないか最高度だということはないか両方ともである」ということは確かであるということはないとすれば凪ぐ fact5: もし仮に「何かは浅黒いかまたは最高度でないかあるいは両方である」ということは成り立つということはないならそれは凪ぐ fact6: もしもこの市場交換が煎じるならあの死傷者数は煎じる fact7: ビトーＲ＆Ｄは煎じる fact8: 仮に「あの死傷者数は慎ましいか溜まり易くないかあるいは両方である」ということは誤りだとすればそれは餅搗き散らしだ fact9: あの死傷者数はビトーＲ＆Ｄなら「それは浅黒くないかあるいは最高度でないかまたは両方ともだ」ということは嘘だ fact10: もし仮に「あるものは浅黒くないかまたは最高度であるかもしくは両方ともである」ということは間違いならそれは凪ぐ fact11: 仮にこの文化的人間が先物取り引きでないとしたら帰すしそれに伝染病舎だ fact12: この百キロ以上はビトーＲ＆Ｄである fact13: 仮に「あの死傷者数は浅黒くないかあるいは最高度であるかもしくはどちらもである」ということは成り立たないとすると凪ぐ fact14: もしもこの文化的人間が帰すとしたらこの市場交換は凪ぐ
void -> assump1: 以下のように仮定する。あの死傷者数はビトーＲ＆Ｄである; fact9 & assump1 -> int1: 「あの死傷者数は浅黒くないかまたはそれは最高度でないかもしくはどちらもである」ということは本当だということはない; fact4 -> int2: もしも「あの死傷者数は浅黒くないかあるいはそれは最高度でないかまたはどちらもだ」ということは成り立たないならば「凪ぐ」ということは事実だ; int1 & int2 -> int3: 「あの死傷者数は凪ぐ」ということは真実である; [assump1] & int3 -> int4: もしもあの死傷者数はビトーＲ＆Ｄであるとすると凪ぐ; int4 -> hypothesis;
あの死傷者数は煎じる
fact19 -> int5: もしこの市場交換がビトーＲ＆Ｄならば煎じる; fact17 -> int6: もしこの市場交換が凪ぐとするとビトーＲ＆Ｄだ;
$facts$ = fact1: 「「もし論断すれば設備図な」ものはある」ということは真実だ fact2: 仮に「何らかの物は凪ぐ」ということは本当ならそれはビトーＲ＆Ｄだ fact3: もしもあの死傷者数は御逃げに成るとすれば「領有権でないかまたはそれはビトーＲ＆Ｄでない」ということは成り立つということはない fact4: もしも「なにかは浅黒くないか最高度だということはないか両方ともである」ということは確かであるということはないとすれば凪ぐ fact5: もし仮に「何かは浅黒いかまたは最高度でないかあるいは両方である」ということは成り立つということはないならそれは凪ぐ fact6: もしもこの市場交換が煎じるならあの死傷者数は煎じる fact7: ビトーＲ＆Ｄは煎じる fact8: 仮に「あの死傷者数は慎ましいか溜まり易くないかあるいは両方である」ということは誤りだとすればそれは餅搗き散らしだ fact9: あの死傷者数はビトーＲ＆Ｄなら「それは浅黒くないかあるいは最高度でないかまたは両方ともだ」ということは嘘だ fact10: もし仮に「あるものは浅黒くないかまたは最高度であるかもしくは両方ともである」ということは間違いならそれは凪ぐ fact11: 仮にこの文化的人間が先物取り引きでないとしたら帰すしそれに伝染病舎だ fact12: この百キロ以上はビトーＲ＆Ｄである fact13: 仮に「あの死傷者数は浅黒くないかあるいは最高度であるかもしくはどちらもである」ということは成り立たないとすると凪ぐ fact14: もしもこの文化的人間が帰すとしたらこの市場交換は凪ぐ ; $hypothesis$ = 「もし仮にビトーＲ＆Ｄであるとすれば凪ぐ」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの死傷者数はビトーＲ＆Ｄである; fact9 & assump1 -> int1: 「あの死傷者数は浅黒くないかまたはそれは最高度でないかもしくはどちらもである」ということは本当だということはない; fact4 -> int2: もしも「あの死傷者数は浅黒くないかあるいはそれは最高度でないかまたはどちらもだ」ということは成り立たないならば「凪ぐ」ということは事実だ; int1 & int2 -> int3: 「あの死傷者数は凪ぐ」ということは真実である; [assump1] & int3 -> int4: もしもあの死傷者数はビトーＲ＆Ｄであるとすると凪ぐ; int4 -> hypothesis; __PROVED__
事実1: 「「もし論断すれば設備図な」ものはある」ということは真実だ
事実2: 仮に「何らかの物は凪ぐ」ということは本当ならそれはビトーＲ＆Ｄだ
事実3: もしもあの死傷者数は御逃げに成るとすれば「領有権でないかまたはそれはビトーＲ＆Ｄでない」ということは成り立つということはない
事実4: もしも「なにかは浅黒くないか最高度だということはないか両方ともである」ということは確かであるということはないとすれば凪ぐ
事実5: もし仮に「何かは浅黒いかまたは最高度でないかあるいは両方である」ということは成り立つということはないならそれは凪ぐ
事実6: もしもこの市場交換が煎じるならあの死傷者数は煎じる
事実7: ビトーＲ＆Ｄは煎じる
事実8: 仮に「あの死傷者数は慎ましいか溜まり易くないかあるいは両方である」ということは誤りだとすればそれは餅搗き散らしだ
事実9: あの死傷者数はビトーＲ＆Ｄなら「それは浅黒くないかあるいは最高度でないかまたは両方ともだ」ということは嘘だ
事実10: もし仮に「あるものは浅黒くないかまたは最高度であるかもしくは両方ともである」ということは間違いならそれは凪ぐ
事実11: 仮にこの文化的人間が先物取り引きでないとしたら帰すしそれに伝染病舎だ
事実12: この百キロ以上はビトーＲ＆Ｄである
事実13: 仮に「あの死傷者数は浅黒くないかあるいは最高度であるかもしくはどちらもである」ということは成り立たないとすると凪ぐ
事実14: もしもこの文化的人間が帰すとしたらこの市場交換は凪ぐ

仮説: 「もし仮にビトーＲ＆Ｄであるとすれば凪ぐ」ものはある
1. 仮定1: 以下のように仮定する。あの死傷者数はビトーＲ＆Ｄである
2. 事実9と仮定1から、推論1: "「あの死傷者数は浅黒くないかまたはそれは最高度でないかもしくはどちらもである」ということは本当だということはない"が導かれる
3. 事実4から、推論2: "もしも「あの死傷者数は浅黒くないかあるいはそれは最高度でないかまたはどちらもだ」ということは成り立たないならば「凪ぐ」ということは事実だ"が導かれる
4. 推論1と推論2から、推論3: "「あの死傷者数は凪ぐ」ということは真実である"が導かれる
5. [仮定1]と推論3から、推論4: "もしもあの死傷者数はビトーＲ＆Ｄであるとすると凪ぐ"が導かれる
6. 推論4から、仮説が導かれる

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