「もし「ソヴェト旅行記であるということはない」ということは成り立てば「遊技しないし加えて注ぎ掛けない」ということは成り立たない」物はある
fact1: 「もしもソヴェト旅行記でないなら遊技するということはなくてまた注ぎ掛けない」ものはある fact2: 仮にとあるものはソヴェト旅行記でないならば遊技しないししかも注ぎ掛けない fact3: もしもあの跳馬はソヴェト旅行記でないなら「それは遊技するしかつそれは注ぎ掛けない」ということは誤っている fact4: もしある物はソヴェト旅行記でないなら「遊技しなくて加えてそれは注ぎ掛けない」ということは偽だ fact5: 「「もしもソヴェト旅行記であるとしたら「遊技するということはなくて注ぎ掛けない」ということは嘘な」ものはある」ということは確かだ fact6: なんらかのものはソヴェト旅行記であるとすれば「遊技しなくて加えて注ぎ掛けない」ということは偽だ fact7: あの跳馬はソヴェト旅行記でないとしたら「遊技するということはなくてしかも注ぎ掛ける」ということは誤りである fact8: もしもとある物はソヴェト旅行記でないとすれば「それは遊技しないけど注ぎ掛ける」ということは嘘だ fact9: もし仮になにかは半熟卵でないならば「ＥＳＮＢでないししかも論議でない」ということは誤りだ fact10: 「もし仮に「抗い難くない」ということは本当であるとしたら「ドイツ市町村法であるが逃げ為さらない」ということは偽である」物はある fact11: もしもあの跳馬はＵＳＢ接続しないとすれば「焼け跡でないし遊技するということはない」ということは間違いだ
fact4 -> int1: もしあの跳馬はソヴェト旅行記でないとしたら「それは遊技しなくて加えて注ぎ掛けない」ということは嘘だ; int1 -> hypothesis;
「仮にあの跳馬は半熟卵であるということはないならば「あの跳馬はＥＳＮＢでないし論議でない」ということは成り立たない」ということは本当である
fact12 -> hypothesis;
$facts$ = fact1: 「もしもソヴェト旅行記でないなら遊技するということはなくてまた注ぎ掛けない」ものはある fact2: 仮にとあるものはソヴェト旅行記でないならば遊技しないししかも注ぎ掛けない fact3: もしもあの跳馬はソヴェト旅行記でないなら「それは遊技するしかつそれは注ぎ掛けない」ということは誤っている fact4: もしある物はソヴェト旅行記でないなら「遊技しなくて加えてそれは注ぎ掛けない」ということは偽だ fact5: 「「もしもソヴェト旅行記であるとしたら「遊技するということはなくて注ぎ掛けない」ということは嘘な」ものはある」ということは確かだ fact6: なんらかのものはソヴェト旅行記であるとすれば「遊技しなくて加えて注ぎ掛けない」ということは偽だ fact7: あの跳馬はソヴェト旅行記でないとしたら「遊技するということはなくてしかも注ぎ掛ける」ということは誤りである fact8: もしもとある物はソヴェト旅行記でないとすれば「それは遊技しないけど注ぎ掛ける」ということは嘘だ fact9: もし仮になにかは半熟卵でないならば「ＥＳＮＢでないししかも論議でない」ということは誤りだ fact10: 「もし仮に「抗い難くない」ということは本当であるとしたら「ドイツ市町村法であるが逃げ為さらない」ということは偽である」物はある fact11: もしもあの跳馬はＵＳＢ接続しないとすれば「焼け跡でないし遊技するということはない」ということは間違いだ ; $hypothesis$ = 「もし「ソヴェト旅行記であるということはない」ということは成り立てば「遊技しないし加えて注ぎ掛けない」ということは成り立たない」物はある ; $proof$ = 
fact4 -> int1: もしあの跳馬はソヴェト旅行記でないとしたら「それは遊技しなくて加えて注ぎ掛けない」ということは嘘だ; int1 -> hypothesis; __PROVED__
事実1: 「もしもソヴェト旅行記でないなら遊技するということはなくてまた注ぎ掛けない」ものはある
事実2: 仮にとあるものはソヴェト旅行記でないならば遊技しないししかも注ぎ掛けない
事実3: もしもあの跳馬はソヴェト旅行記でないなら「それは遊技するしかつそれは注ぎ掛けない」ということは誤っている
事実4: もしある物はソヴェト旅行記でないなら「遊技しなくて加えてそれは注ぎ掛けない」ということは偽だ
事実5: 「「もしもソヴェト旅行記であるとしたら「遊技するということはなくて注ぎ掛けない」ということは嘘な」ものはある」ということは確かだ
事実6: なんらかのものはソヴェト旅行記であるとすれば「遊技しなくて加えて注ぎ掛けない」ということは偽だ
事実7: あの跳馬はソヴェト旅行記でないとしたら「遊技するということはなくてしかも注ぎ掛ける」ということは誤りである
事実8: もしもとある物はソヴェト旅行記でないとすれば「それは遊技しないけど注ぎ掛ける」ということは嘘だ
事実9: もし仮になにかは半熟卵でないならば「ＥＳＮＢでないししかも論議でない」ということは誤りだ
事実10: 「もし仮に「抗い難くない」ということは本当であるとしたら「ドイツ市町村法であるが逃げ為さらない」ということは偽である」物はある
事実11: もしもあの跳馬はＵＳＢ接続しないとすれば「焼け跡でないし遊技するということはない」ということは間違いだ

仮説: 「もし「ソヴェト旅行記であるということはない」ということは成り立てば「遊技しないし加えて注ぎ掛けない」ということは成り立たない」物はある
1. 事実4から、推論1: "もしあの跳馬はソヴェト旅行記でないとしたら「それは遊技しなくて加えて注ぎ掛けない」ということは嘘だ"が導かれる
2. 推論1から、仮説が導かれる

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