「おっかなくない」物はある
fact1: もし「この空しさは分解され難くない一方で枚だ」ということは成り立たないとすればこの神社合祀はおっかないということはない fact2: もしもその作り置きは締めっぽくないとすると「それは各財でないけど寝返る」ということは誤っている fact3: 「なにがしかのものは各財でない一方でそれはほく」ということは偽であるならそれは各財だ fact4: 仮にあの首都は寝返らないとすれば「各財でないけどほく」ということは成り立たない fact5: もし仮に何かは締めっぽいかまたは第一次案であるかあるいは両方ともなら放り込まない fact6: あの首都は寝返らない fact7: この空しさが分解され難くないけれどそれが枚であるとするとその作り置きは締めっぽい fact8: あの首都は各財だとしたら「その作り置きは放り込む」ということは成り立つ fact9: この神社合祀は第一次案でない
void -> assump1: 以下のように仮定する。この空しさは分解され難くないがしかしそれは枚だ; fact7 & assump1 -> int1: その作り置きは締めっぽい; int1 -> int2: その作り置きは締めっぽいかまたは第一次案であるか両方である; fact5 -> int3: もしその作り置きは締めっぽいか第一次案であるかもしくはどちらもだとしたら放り込まない; int2 & int3 -> int4: その作り置きは放り込まない; fact6 & fact4 -> int5: 「あの首都は各財でないけれどそれはほく」ということは偽だ; fact3 -> int6: 仮に「あの首都は各財でない一方でほく」ということは成り立つということはないならば各財だ; int5 & int6 -> int7: あの首都は各財である; int7 & fact8 -> int8: その作り置きは放り込む; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この空しさは分解され難くない一方で枚である」ということは成り立たない; int10 & fact1 -> int11: この神社合祀はおっかなくない; int11 -> hypothesis;
$facts$ = fact1: もし「この空しさは分解され難くない一方で枚だ」ということは成り立たないとすればこの神社合祀はおっかないということはない fact2: もしもその作り置きは締めっぽくないとすると「それは各財でないけど寝返る」ということは誤っている fact3: 「なにがしかのものは各財でない一方でそれはほく」ということは偽であるならそれは各財だ fact4: 仮にあの首都は寝返らないとすれば「各財でないけどほく」ということは成り立たない fact5: もし仮に何かは締めっぽいかまたは第一次案であるかあるいは両方ともなら放り込まない fact6: あの首都は寝返らない fact7: この空しさが分解され難くないけれどそれが枚であるとするとその作り置きは締めっぽい fact8: あの首都は各財だとしたら「その作り置きは放り込む」ということは成り立つ fact9: この神社合祀は第一次案でない ; $hypothesis$ = 「おっかなくない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。この空しさは分解され難くないがしかしそれは枚だ; fact7 & assump1 -> int1: その作り置きは締めっぽい; int1 -> int2: その作り置きは締めっぽいかまたは第一次案であるか両方である; fact5 -> int3: もしその作り置きは締めっぽいか第一次案であるかもしくはどちらもだとしたら放り込まない; int2 & int3 -> int4: その作り置きは放り込まない; fact6 & fact4 -> int5: 「あの首都は各財でないけれどそれはほく」ということは偽だ; fact3 -> int6: 仮に「あの首都は各財でない一方でほく」ということは成り立つということはないならば各財だ; int5 & int6 -> int7: あの首都は各財である; int7 & fact8 -> int8: その作り置きは放り込む; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「この空しさは分解され難くない一方で枚である」ということは成り立たない; int10 & fact1 -> int11: この神社合祀はおっかなくない; int11 -> hypothesis; __PROVED__
事実1: もし「この空しさは分解され難くない一方で枚だ」ということは成り立たないとすればこの神社合祀はおっかないということはない
事実2: もしもその作り置きは締めっぽくないとすると「それは各財でないけど寝返る」ということは誤っている
事実3: 「なにがしかのものは各財でない一方でそれはほく」ということは偽であるならそれは各財だ
事実4: 仮にあの首都は寝返らないとすれば「各財でないけどほく」ということは成り立たない
事実5: もし仮に何かは締めっぽいかまたは第一次案であるかあるいは両方ともなら放り込まない
事実6: あの首都は寝返らない
事実7: この空しさが分解され難くないけれどそれが枚であるとするとその作り置きは締めっぽい
事実8: あの首都は各財だとしたら「その作り置きは放り込む」ということは成り立つ
事実9: この神社合祀は第一次案でない

仮説: 「おっかなくない」物はある
1. 仮定1: 以下のように仮定する。この空しさは分解され難くないがしかしそれは枚だ
2. 事実7と仮定1から、推論1: "その作り置きは締めっぽい"が導かれる
3. 推論1から、推論2: "その作り置きは締めっぽいかまたは第一次案であるか両方である"が導かれる
4. 事実5から、推論3: "もしその作り置きは締めっぽいか第一次案であるかもしくはどちらもだとしたら放り込まない"が導かれる
5. 推論2と推論3から、推論4: "その作り置きは放り込まない"が導かれる
6. 事実6と事実4から、推論5: "「あの首都は各財でないけれどそれはほく」ということは偽だ"が導かれる
7. 事実3から、推論6: "仮に「あの首都は各財でない一方でほく」ということは成り立つということはないならば各財だ"が導かれる
8. 推論5と推論6から、推論7: "あの首都は各財である"が導かれる
9. 推論7と事実8から、推論8: "その作り置きは放り込む"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「この空しさは分解され難くない一方で枚である」ということは成り立たない"が導かれる
12. 推論10と事実1から、推論11: "この神社合祀はおっかなくない"が導かれる
13. 推論11から、仮説が導かれる

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