その神仏混交は言語道断である
fact1: 仮に「「悪しいししかも登山家らしい」ということは誤りである」物があるならばあの二十一歳以上は時間外手当てでない fact2: もしあるものは時間外手当てでないけど値上げするとすれば「その神仏混交は言語道断だ」ということは本当だ fact3: もしもあのシーはし難いなら「「あの二十一歳以上は伝え難くないかあるいは空間的位置でないかもしくは両方だ」ということは間違いである」ということは正しい fact4: 「あのシーはし難い」ということは真実だ fact5: 「あの二十一歳以上は伝え難いかまたは空間的位置だということはないかどちらもである」ということは事実と異なるとすればそれは値上げする fact6: あの失業率上昇は時間外手当てである fact7: なんらかの物は時間外手当てでない fact8: もしも「なにがしかのものは伝え難くないかあるいは空間的位置でないかまたはどちらもである」ということは誤りであるならそれは値上げする fact9: もしなにがしかのものが値上げするということはないしその上それはし難くないとすればそれは言語道断でない fact10: 「「悪しいしそれに登山家らしい」ということは誤っている」ものはある
fact3 & fact4 -> int1: 「あの二十一歳以上は伝え難くないかまたは空間的位置でないかあるいは両方ともである」ということは確かであるということはない; fact8 -> int2: もし仮に「あの二十一歳以上は伝え難いということはないかもしくは空間的位置だということはない」ということは偽であるとするとそれは値上げする; int1 & int2 -> int3: あの二十一歳以上は値上げする; fact1 & fact10 -> int4: あの二十一歳以上は時間外手当てだということはない; int3 & int4 -> int5: あの二十一歳以上は時間外手当てでないけれど値上げする; int5 -> int6: 「時間外手当てであるということはないけど値上げする」ものはある; int6 & fact2 -> hypothesis;
その神仏混交は言語道断でない
fact11 -> int7: もしもその神仏混交が値上げしなくてそれがし難いということはないならば言語道断でない;
$facts$ = fact1: 仮に「「悪しいししかも登山家らしい」ということは誤りである」物があるならばあの二十一歳以上は時間外手当てでない fact2: もしあるものは時間外手当てでないけど値上げするとすれば「その神仏混交は言語道断だ」ということは本当だ fact3: もしもあのシーはし難いなら「「あの二十一歳以上は伝え難くないかあるいは空間的位置でないかもしくは両方だ」ということは間違いである」ということは正しい fact4: 「あのシーはし難い」ということは真実だ fact5: 「あの二十一歳以上は伝え難いかまたは空間的位置だということはないかどちらもである」ということは事実と異なるとすればそれは値上げする fact6: あの失業率上昇は時間外手当てである fact7: なんらかの物は時間外手当てでない fact8: もしも「なにがしかのものは伝え難くないかあるいは空間的位置でないかまたはどちらもである」ということは誤りであるならそれは値上げする fact9: もしなにがしかのものが値上げするということはないしその上それはし難くないとすればそれは言語道断でない fact10: 「「悪しいしそれに登山家らしい」ということは誤っている」ものはある ; $hypothesis$ = その神仏混交は言語道断である ; $proof$ = 
fact3 & fact4 -> int1: 「あの二十一歳以上は伝え難くないかまたは空間的位置でないかあるいは両方ともである」ということは確かであるということはない; fact8 -> int2: もし仮に「あの二十一歳以上は伝え難いということはないかもしくは空間的位置だということはない」ということは偽であるとするとそれは値上げする; int1 & int2 -> int3: あの二十一歳以上は値上げする; fact1 & fact10 -> int4: あの二十一歳以上は時間外手当てだということはない; int3 & int4 -> int5: あの二十一歳以上は時間外手当てでないけれど値上げする; int5 -> int6: 「時間外手当てであるということはないけど値上げする」ものはある; int6 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「「悪しいししかも登山家らしい」ということは誤りである」物があるならばあの二十一歳以上は時間外手当てでない
事実2: もしあるものは時間外手当てでないけど値上げするとすれば「その神仏混交は言語道断だ」ということは本当だ
事実3: もしもあのシーはし難いなら「「あの二十一歳以上は伝え難くないかあるいは空間的位置でないかもしくは両方だ」ということは間違いである」ということは正しい
事実4: 「あのシーはし難い」ということは真実だ
事実5: 「あの二十一歳以上は伝え難いかまたは空間的位置だということはないかどちらもである」ということは事実と異なるとすればそれは値上げする
事実6: あの失業率上昇は時間外手当てである
事実7: なんらかの物は時間外手当てでない
事実8: もしも「なにがしかのものは伝え難くないかあるいは空間的位置でないかまたはどちらもである」ということは誤りであるならそれは値上げする
事実9: もしなにがしかのものが値上げするということはないしその上それはし難くないとすればそれは言語道断でない
事実10: 「「悪しいしそれに登山家らしい」ということは誤っている」ものはある

仮説: その神仏混交は言語道断である
1. 事実3と事実4から、推論1: "「あの二十一歳以上は伝え難くないかまたは空間的位置でないかあるいは両方ともである」ということは確かであるということはない"が導かれる
2. 事実8から、推論2: "もし仮に「あの二十一歳以上は伝え難いということはないかもしくは空間的位置だということはない」ということは偽であるとするとそれは値上げする"が導かれる
3. 推論1と推論2から、推論3: "あの二十一歳以上は値上げする"が導かれる
4. 事実1と事実10から、推論4: "あの二十一歳以上は時間外手当てだということはない"が導かれる
5. 推論3と推論4から、推論5: "あの二十一歳以上は時間外手当てでないけれど値上げする"が導かれる
6. 推論5から、推論6: "「時間外手当てであるということはないけど値上げする」ものはある"が導かれる
7. 推論6と事実2から、仮説が導かれる

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