「もし御読み下さるとすると現場監督者でないか神々しいということはないかあるいは両方な」ものはある
fact1: この統計量は神々しかないかまたはそれは火炎滅菌するか両方だ fact2: もし何らかの物が御読み下さるとしたら外国産でなくてまた避難所運営でない fact3: あの命令違反は遷延しない fact4: もし仮にその地若衆が動き出せないかもしくはそれが御読み下さらないなら断罪しない fact5: この統計量は現場監督者でないかもしくはそれは神々しいかもしくはどちらもだ fact6: この統計量は述べ伝え為さる fact7: もし仮に「この統計量は現場監督者でないかもしくは神々しかないかもしくは両方だ」ということは誤っているとしたらそれは御読み下さらない fact8: 仮にあの命令違反は遷延しないとすると「それは変わり易くて加えてそれは狙われ易い」ということは成り立たない
void -> assump1: 以下のように仮定する。「「この統計量は現場監督者であるということはないかもしくは神々しかないかもしくは両方ともである」ということは誤りだ」ということは確かだ; fact7 & assump1 -> int1: この統計量は御読み下さらない; void -> assump2: 以下のように仮定する。この統計量は御読み下さる; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この統計量は現場監督者でないかあるいは神々しかないかもしくは両方ともである; [assump2] & int3 -> int4: 仮にこの統計量が御読み下さるとすれば現場監督者だということはないかまたは神々しかないかもしくは両方ともだ; int4 -> hypothesis;
その空気ボンベは外国産でない
fact9 -> int5: 仮にその空気ボンベは御読み下さるとすると「それは外国産であるということはなくてそれに避難所運営でない」ということは確かだ; fact12 & fact10 -> int6: 「あの命令違反は変わり易いし狙われ易い」ということは成り立たない; int6 -> int7: 「「変わり易いし狙われ易い」ということは事実であるということはない」ものはある;
$facts$ = fact1: この統計量は神々しかないかまたはそれは火炎滅菌するか両方だ fact2: もし何らかの物が御読み下さるとしたら外国産でなくてまた避難所運営でない fact3: あの命令違反は遷延しない fact4: もし仮にその地若衆が動き出せないかもしくはそれが御読み下さらないなら断罪しない fact5: この統計量は現場監督者でないかもしくはそれは神々しいかもしくはどちらもだ fact6: この統計量は述べ伝え為さる fact7: もし仮に「この統計量は現場監督者でないかもしくは神々しかないかもしくは両方だ」ということは誤っているとしたらそれは御読み下さらない fact8: 仮にあの命令違反は遷延しないとすると「それは変わり易くて加えてそれは狙われ易い」ということは成り立たない ; $hypothesis$ = 「もし御読み下さるとすると現場監督者でないか神々しいということはないかあるいは両方な」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「「この統計量は現場監督者であるということはないかもしくは神々しかないかもしくは両方ともである」ということは誤りだ」ということは確かだ; fact7 & assump1 -> int1: この統計量は御読み下さらない; void -> assump2: 以下のように仮定する。この統計量は御読み下さる; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この統計量は現場監督者でないかあるいは神々しかないかもしくは両方ともである; [assump2] & int3 -> int4: 仮にこの統計量が御読み下さるとすれば現場監督者だということはないかまたは神々しかないかもしくは両方ともだ; int4 -> hypothesis; __PROVED__
事実1: この統計量は神々しかないかまたはそれは火炎滅菌するか両方だ
事実2: もし何らかの物が御読み下さるとしたら外国産でなくてまた避難所運営でない
事実3: あの命令違反は遷延しない
事実4: もし仮にその地若衆が動き出せないかもしくはそれが御読み下さらないなら断罪しない
事実5: この統計量は現場監督者でないかもしくはそれは神々しいかもしくはどちらもだ
事実6: この統計量は述べ伝え為さる
事実7: もし仮に「この統計量は現場監督者でないかもしくは神々しかないかもしくは両方だ」ということは誤っているとしたらそれは御読み下さらない
事実8: 仮にあの命令違反は遷延しないとすると「それは変わり易くて加えてそれは狙われ易い」ということは成り立たない

仮説: 「もし御読み下さるとすると現場監督者でないか神々しいということはないかあるいは両方な」ものはある
1. 仮定1: 以下のように仮定する。「「この統計量は現場監督者であるということはないかもしくは神々しかないかもしくは両方ともである」ということは誤りだ」ということは確かだ
2. 事実7と仮定1から、推論1: "この統計量は御読み下さらない"が導かれる
3. 仮定2: 以下のように仮定する。この統計量は御読み下さる
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この統計量は現場監督者でないかあるいは神々しかないかもしくは両方ともである"が導かれる
6. [仮定2]と推論3から、推論4: "仮にこの統計量が御読み下さるとすれば現場監督者だということはないかまたは神々しかないかもしくは両方ともだ"が導かれる
7. 推論4から、仮説が導かれる

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