「もし鳴り出すとしたら「換算しなくて更に総入れ替えするということはない」ということは成り立つということはない」ものはある
fact1: もし何らかのものは鳴り出すとすれば「換算するしそれは総入れ替えしない」ということは確かであるということはない fact2: もし仮になんらかのものは異交通であるとすれば「狭くなくてまた見せ付けない」ということは成り立たない fact3: 仮に何かは木目細かいなら「それは絞り上げなくてそれに見分け難くない」ということは偽である fact4: 「もし仮に神々しいとすると「温泉施設でなくてまた来難くない」ということは事実でない」物はある fact5: 「もしも鳴り出すとすると「換算するということはないけれど総入れ替えする」ということは成り立たない」ものはある fact6: もし仮にその一字縦が鳴り出すとすればそれは換算しないしかつそれは総入れ替えしない fact7: 「もしも鳴り出すとすれば換算するということはないしその上総入れ替えしない」物はある fact8: もしも「何らかの物は鳴り出す」ということは誤っていないとすれば「換算しないしおまけにそれは総入れ替えする」ということは嘘である fact9: 「もしも人間不平等起源論であるなら「根強くなくてまた御強くない」ということは本当だということはない」物はある fact10: 仮にその一字縦は鳴り出すとすると「換算しないけど総入れ替えする」ということは誤りだ fact11: ある物は鳴り出すとすれば「換算するということはないし更に総入れ替えするということはない」ということは誤りである fact12: ある物が鳴り出すとするとそれは換算しないし更にそれは総入れ替えしない fact13: 「鳴り出すとすると「換算する一方で総入れ替えしない」ということは偽である」ものはある fact14: もし仮になにかはアンティークであるとすれば「それはうら若くないし陰性化でない」ということは誤っている fact15: 仮にその一字縦は言い替えれば「換算しないししかもそれは遅しない」ということは成り立たない fact16: もしその一字縦は鳴り出すとすれば「それは換算するがしかし総入れ替えするということはない」ということは成り立つということはない
fact11 -> int1: 仮にその一字縦は鳴り出すなら「換算しなくて総入れ替えしない」ということは誤っている; int1 -> hypothesis;
$facts$ = fact1: もし何らかのものは鳴り出すとすれば「換算するしそれは総入れ替えしない」ということは確かであるということはない fact2: もし仮になんらかのものは異交通であるとすれば「狭くなくてまた見せ付けない」ということは成り立たない fact3: 仮に何かは木目細かいなら「それは絞り上げなくてそれに見分け難くない」ということは偽である fact4: 「もし仮に神々しいとすると「温泉施設でなくてまた来難くない」ということは事実でない」物はある fact5: 「もしも鳴り出すとすると「換算するということはないけれど総入れ替えする」ということは成り立たない」ものはある fact6: もし仮にその一字縦が鳴り出すとすればそれは換算しないしかつそれは総入れ替えしない fact7: 「もしも鳴り出すとすれば換算するということはないしその上総入れ替えしない」物はある fact8: もしも「何らかの物は鳴り出す」ということは誤っていないとすれば「換算しないしおまけにそれは総入れ替えする」ということは嘘である fact9: 「もしも人間不平等起源論であるなら「根強くなくてまた御強くない」ということは本当だということはない」物はある fact10: 仮にその一字縦は鳴り出すとすると「換算しないけど総入れ替えする」ということは誤りだ fact11: ある物は鳴り出すとすれば「換算するということはないし更に総入れ替えするということはない」ということは誤りである fact12: ある物が鳴り出すとするとそれは換算しないし更にそれは総入れ替えしない fact13: 「鳴り出すとすると「換算する一方で総入れ替えしない」ということは偽である」ものはある fact14: もし仮になにかはアンティークであるとすれば「それはうら若くないし陰性化でない」ということは誤っている fact15: 仮にその一字縦は言い替えれば「換算しないししかもそれは遅しない」ということは成り立たない fact16: もしその一字縦は鳴り出すとすれば「それは換算するがしかし総入れ替えするということはない」ということは成り立つということはない ; $hypothesis$ = 「もし鳴り出すとしたら「換算しなくて更に総入れ替えするということはない」ということは成り立つということはない」ものはある ; $proof$ = 
fact11 -> int1: 仮にその一字縦は鳴り出すなら「換算しなくて総入れ替えしない」ということは誤っている; int1 -> hypothesis; __PROVED__
事実1: もし何らかのものは鳴り出すとすれば「換算するしそれは総入れ替えしない」ということは確かであるということはない
事実2: もし仮になんらかのものは異交通であるとすれば「狭くなくてまた見せ付けない」ということは成り立たない
事実3: 仮に何かは木目細かいなら「それは絞り上げなくてそれに見分け難くない」ということは偽である
事実4: 「もし仮に神々しいとすると「温泉施設でなくてまた来難くない」ということは事実でない」物はある
事実5: 「もしも鳴り出すとすると「換算するということはないけれど総入れ替えする」ということは成り立たない」ものはある
事実6: もし仮にその一字縦が鳴り出すとすればそれは換算しないしかつそれは総入れ替えしない
事実7: 「もしも鳴り出すとすれば換算するということはないしその上総入れ替えしない」物はある
事実8: もしも「何らかの物は鳴り出す」ということは誤っていないとすれば「換算しないしおまけにそれは総入れ替えする」ということは嘘である
事実9: 「もしも人間不平等起源論であるなら「根強くなくてまた御強くない」ということは本当だということはない」物はある
事実10: 仮にその一字縦は鳴り出すとすると「換算しないけど総入れ替えする」ということは誤りだ
事実11: ある物は鳴り出すとすれば「換算するということはないし更に総入れ替えするということはない」ということは誤りである
事実12: ある物が鳴り出すとするとそれは換算しないし更にそれは総入れ替えしない
事実13: 「鳴り出すとすると「換算する一方で総入れ替えしない」ということは偽である」ものはある
事実14: もし仮になにかはアンティークであるとすれば「それはうら若くないし陰性化でない」ということは誤っている
事実15: 仮にその一字縦は言い替えれば「換算しないししかもそれは遅しない」ということは成り立たない
事実16: もしその一字縦は鳴り出すとすれば「それは換算するがしかし総入れ替えするということはない」ということは成り立つということはない

仮説: 「もし鳴り出すとしたら「換算しなくて更に総入れ替えするということはない」ということは成り立つということはない」ものはある
1. 事実11から、推論1: "仮にその一字縦は鳴り出すなら「換算しなくて総入れ替えしない」ということは誤っている"が導かれる
2. 推論1から、仮説が導かれる

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