「そのピッケルは押し易くない一方で存続出来る」ということは成り立たない
fact1: もし仮にとあるものは押し易いなら「年間収入でないけれど存続出来る」ということは誤りである fact2: もし「「指標的ディスクロージャーだが存続出来ない」ということは成り立つということはない」物があるとするとそのピッケルは浅黒い fact3: もしあるものが年間収入でないとすれば押し易くないがしかし存続出来る fact4: あるものは呪わしくないならば「「年間収入であるかまたは赤っぽいか両方だ」ということは本当である」ということは成り立たない fact5: もしこの小ドイツは存続出来るとしたら「そのピッケルは押し易いしまた存続出来る」ということは間違いだ fact6: その金貸しは呪わしくないならば「そのピッケルは赤っぽくて押し易い」ということは成り立つ fact7: 「その金貸しは舐る」ということは正しい fact8: もし「「再登場するし加えて悪しない」ということは間違いな」物があるとすればあの小ドイツは存続出来る fact9: 仮に何かは言い訳がましいとしたら「それは発表しなくてかつ高まり始める」ということは事実でない fact10: 「「押し易くてまた存続出来る」ということは間違っている」物はある fact11: もしこの小ドイツは存続出来れば「そのピッケルは押し易いということはないけれどそれは存続出来る」ということは成り立つということはない fact12: もしもとある物は存続出来ないならば「「この小ドイツは防止出来るが通園しない」ということは成り立つ」ということは誤っている fact13: 「再登場するがしかし悪しない」物はある fact14: 「この小ドイツは年間収入であるかまたはそれは赤っぽい」ということは偽ならば「そのピッケルは年間収入である」ということは間違いだ fact15: 「この小ドイツは押し易いしまた存続出来る」ということは成り立たない fact16: もし仮にとあるものが舐ればそれは言い訳がましい fact17: もし仮に「その金貸しは発表しないがしかしそれは高まり始める」ということは確かでないとしたらこの小ドイツは高まり始めるということはない fact18: 「この小ドイツは存続出来ないけれど押し易い」ということは真実でない fact19: 「「再登場するしさらに悪しない」ということは成り立たない」ものはある fact20: もしも「何らかのものは年間収入でない一方でそれは存続出来る」ということは間違いだとしたら存続出来ない fact21: 「「存続出来るしさらに押し易い」ということは間違っている」物はある fact22: もしなにかは高まり始めないしかつ範囲指定するということはないとしたらそれは呪わしくない
fact19 & fact8 -> int1: この小ドイツは存続出来る; int1 & fact11 -> hypothesis;
「「防止出来る一方で通園しない」ということは事実と異なる」ものはある
fact23 -> int2: 仮に「そのピッケルは年間収入でない一方で存続出来る」ということは成り立つということはないとしたら存続出来ない; fact25 -> int3: もしそのピッケルは押し易いなら「年間収入でないしまたそれは存続出来る」ということは事実と異なる;
$facts$ = fact1: もし仮にとあるものは押し易いなら「年間収入でないけれど存続出来る」ということは誤りである fact2: もし「「指標的ディスクロージャーだが存続出来ない」ということは成り立つということはない」物があるとするとそのピッケルは浅黒い fact3: もしあるものが年間収入でないとすれば押し易くないがしかし存続出来る fact4: あるものは呪わしくないならば「「年間収入であるかまたは赤っぽいか両方だ」ということは本当である」ということは成り立たない fact5: もしこの小ドイツは存続出来るとしたら「そのピッケルは押し易いしまた存続出来る」ということは間違いだ fact6: その金貸しは呪わしくないならば「そのピッケルは赤っぽくて押し易い」ということは成り立つ fact7: 「その金貸しは舐る」ということは正しい fact8: もし「「再登場するし加えて悪しない」ということは間違いな」物があるとすればあの小ドイツは存続出来る fact9: 仮に何かは言い訳がましいとしたら「それは発表しなくてかつ高まり始める」ということは事実でない fact10: 「「押し易くてまた存続出来る」ということは間違っている」物はある fact11: もしこの小ドイツは存続出来れば「そのピッケルは押し易いということはないけれどそれは存続出来る」ということは成り立つということはない fact12: もしもとある物は存続出来ないならば「「この小ドイツは防止出来るが通園しない」ということは成り立つ」ということは誤っている fact13: 「再登場するがしかし悪しない」物はある fact14: 「この小ドイツは年間収入であるかまたはそれは赤っぽい」ということは偽ならば「そのピッケルは年間収入である」ということは間違いだ fact15: 「この小ドイツは押し易いしまた存続出来る」ということは成り立たない fact16: もし仮にとあるものが舐ればそれは言い訳がましい fact17: もし仮に「その金貸しは発表しないがしかしそれは高まり始める」ということは確かでないとしたらこの小ドイツは高まり始めるということはない fact18: 「この小ドイツは存続出来ないけれど押し易い」ということは真実でない fact19: 「「再登場するしさらに悪しない」ということは成り立たない」ものはある fact20: もしも「何らかのものは年間収入でない一方でそれは存続出来る」ということは間違いだとしたら存続出来ない fact21: 「「存続出来るしさらに押し易い」ということは間違っている」物はある fact22: もしなにかは高まり始めないしかつ範囲指定するということはないとしたらそれは呪わしくない ; $hypothesis$ = 「そのピッケルは押し易くない一方で存続出来る」ということは成り立たない ; $proof$ = 
fact19 & fact8 -> int1: この小ドイツは存続出来る; int1 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にとあるものは押し易いなら「年間収入でないけれど存続出来る」ということは誤りである
事実2: もし「「指標的ディスクロージャーだが存続出来ない」ということは成り立つということはない」物があるとするとそのピッケルは浅黒い
事実3: もしあるものが年間収入でないとすれば押し易くないがしかし存続出来る
事実4: あるものは呪わしくないならば「「年間収入であるかまたは赤っぽいか両方だ」ということは本当である」ということは成り立たない
事実5: もしこの小ドイツは存続出来るとしたら「そのピッケルは押し易いしまた存続出来る」ということは間違いだ
事実6: その金貸しは呪わしくないならば「そのピッケルは赤っぽくて押し易い」ということは成り立つ
事実7: 「その金貸しは舐る」ということは正しい
事実8: もし「「再登場するし加えて悪しない」ということは間違いな」物があるとすればあの小ドイツは存続出来る
事実9: 仮に何かは言い訳がましいとしたら「それは発表しなくてかつ高まり始める」ということは事実でない
事実10: 「「押し易くてまた存続出来る」ということは間違っている」物はある
事実11: もしこの小ドイツは存続出来れば「そのピッケルは押し易いということはないけれどそれは存続出来る」ということは成り立つということはない
事実12: もしもとある物は存続出来ないならば「「この小ドイツは防止出来るが通園しない」ということは成り立つ」ということは誤っている
事実13: 「再登場するがしかし悪しない」物はある
事実14: 「この小ドイツは年間収入であるかまたはそれは赤っぽい」ということは偽ならば「そのピッケルは年間収入である」ということは間違いだ
事実15: 「この小ドイツは押し易いしまた存続出来る」ということは成り立たない
事実16: もし仮にとあるものが舐ればそれは言い訳がましい
事実17: もし仮に「その金貸しは発表しないがしかしそれは高まり始める」ということは確かでないとしたらこの小ドイツは高まり始めるということはない
事実18: 「この小ドイツは存続出来ないけれど押し易い」ということは真実でない
事実19: 「「再登場するしさらに悪しない」ということは成り立たない」ものはある
事実20: もしも「何らかのものは年間収入でない一方でそれは存続出来る」ということは間違いだとしたら存続出来ない
事実21: 「「存続出来るしさらに押し易い」ということは間違っている」物はある
事実22: もしなにかは高まり始めないしかつ範囲指定するということはないとしたらそれは呪わしくない

仮説: 「そのピッケルは押し易くない一方で存続出来る」ということは成り立たない
1. 事実19と事実8から、推論1: "この小ドイツは存続出来る"が導かれる
2. 推論1と事実11から、仮説が導かれる

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