「もし「尊い」ということは正しいとすると「投げ釣りでないし擽ったくない」ということは間違いである」ものはある
fact1: もしもとある物は視察しないならば「それは投げ釣りでないし更に擽ったくない」ということは事実と異なる fact2: なにがしかの物は統率出来ない fact3: もしなにがしかのものは統率出来るということはないかあるいは駅舎でないかもしくはどちらもであるなら駅舎でない fact4: もし仮になにかは駅舎でないなら売れ始めるしそれに擽ったくない fact5: もし仮にあの一打が君らしいしその上尊いとするとそれは視察しない fact6: この東西方向が視察するとするとあの一打は君らしくないか尊いかまたは両方である fact7: 仮に「あの通勤途中は投げ釣りでないけど視察する」ということは偽であるとすればこの東西方向は視察する fact8: 仮にあの一打が君らしくないかそれが尊いかまたはどちらもであるならばあの生殖質連続説は尊い fact9: あの一打は君らしい
void -> assump1: 以下のように仮定する。あの一打は尊い; fact9 & assump1 -> int1: あの一打は君らしいしそれは尊い; int1 & fact5 -> int2: あの一打は視察しない; fact1 -> int3: もし仮にあの一打は視察しないとすれば「投げ釣りでないし擽ったいということはない」ということは間違っている; int2 & int3 -> int4: 「「あの一打は投げ釣りでないしそれは擽ったくない」ということは誤りである」ということは真実だ; [assump1] & int4 -> int5: もしもあの一打は尊いならば「投げ釣りでないしさらにそれは擽ったくない」ということは誤りである; int5 -> hypothesis;
この生殖質連続説は尊い
fact13 -> int6: 仮に「あの通勤途中は駅舎でない」ということは成り立つなら売れ始めるし擽ったくない; fact11 -> int7: もしもあの通勤途中は統率出来ないかあるいは駅舎でないかあるいは両方だとしたら駅舎でない;
$facts$ = fact1: もしもとある物は視察しないならば「それは投げ釣りでないし更に擽ったくない」ということは事実と異なる fact2: なにがしかの物は統率出来ない fact3: もしなにがしかのものは統率出来るということはないかあるいは駅舎でないかもしくはどちらもであるなら駅舎でない fact4: もし仮になにかは駅舎でないなら売れ始めるしそれに擽ったくない fact5: もし仮にあの一打が君らしいしその上尊いとするとそれは視察しない fact6: この東西方向が視察するとするとあの一打は君らしくないか尊いかまたは両方である fact7: 仮に「あの通勤途中は投げ釣りでないけど視察する」ということは偽であるとすればこの東西方向は視察する fact8: 仮にあの一打が君らしくないかそれが尊いかまたはどちらもであるならばあの生殖質連続説は尊い fact9: あの一打は君らしい ; $hypothesis$ = 「もし「尊い」ということは正しいとすると「投げ釣りでないし擽ったくない」ということは間違いである」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの一打は尊い; fact9 & assump1 -> int1: あの一打は君らしいしそれは尊い; int1 & fact5 -> int2: あの一打は視察しない; fact1 -> int3: もし仮にあの一打は視察しないとすれば「投げ釣りでないし擽ったいということはない」ということは間違っている; int2 & int3 -> int4: 「「あの一打は投げ釣りでないしそれは擽ったくない」ということは誤りである」ということは真実だ; [assump1] & int4 -> int5: もしもあの一打は尊いならば「投げ釣りでないしさらにそれは擽ったくない」ということは誤りである; int5 -> hypothesis; __PROVED__
事実1: もしもとある物は視察しないならば「それは投げ釣りでないし更に擽ったくない」ということは事実と異なる
事実2: なにがしかの物は統率出来ない
事実3: もしなにがしかのものは統率出来るということはないかあるいは駅舎でないかもしくはどちらもであるなら駅舎でない
事実4: もし仮になにかは駅舎でないなら売れ始めるしそれに擽ったくない
事実5: もし仮にあの一打が君らしいしその上尊いとするとそれは視察しない
事実6: この東西方向が視察するとするとあの一打は君らしくないか尊いかまたは両方である
事実7: 仮に「あの通勤途中は投げ釣りでないけど視察する」ということは偽であるとすればこの東西方向は視察する
事実8: 仮にあの一打が君らしくないかそれが尊いかまたはどちらもであるならばあの生殖質連続説は尊い
事実9: あの一打は君らしい

仮説: 「もし「尊い」ということは正しいとすると「投げ釣りでないし擽ったくない」ということは間違いである」ものはある
1. 仮定1: 以下のように仮定する。あの一打は尊い
2. 事実9と仮定1から、推論1: "あの一打は君らしいしそれは尊い"が導かれる
3. 推論1と事実5から、推論2: "あの一打は視察しない"が導かれる
4. 事実1から、推論3: "もし仮にあの一打は視察しないとすれば「投げ釣りでないし擽ったいということはない」ということは間違っている"が導かれる
5. 推論2と推論3から、推論4: "「「あの一打は投げ釣りでないしそれは擽ったくない」ということは誤りである」ということは真実だ"が導かれる
6. [仮定1]と推論4から、推論5: "もしもあの一打は尊いならば「投げ釣りでないしさらにそれは擽ったくない」ということは誤りである"が導かれる
7. 推論5から、仮説が導かれる

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