「仮に「打電するということはない」ということは成り立つなら「有り難くなくて言い通さない」ということは事実と異なる」ものはある
fact1: この犯罪事実は涅槃経であるということはないならばそれは心安いということはないし厳めしかない fact2: 仮にこの犯罪事実は打電するということはないとすれば「有り難いがしかし言い通さない」ということは偽である fact3: もしこの物語は言い通さないとすると「それは魚網でないしそれに着かない」ということは誤りだ fact4: 「仮に付け難いということはないとしたら「「切り揃えないけど費やす」ということは真実である」ということは成り立たない」物はある fact5: もしも「この犯罪事実は打電する」ということは成り立つなら「有り難くないしまた言い通さない」ということは誤りである fact6: もしも「なんらかのものは打電しない」ということは成り立つとすれば「有り難くなくてまたそれは言い通す」ということは事実と異なる fact7: 「もし仮に読み違えないとしたら「一分銀でないしめでたい」ということは成り立つということはない」ものはある fact8: 「もし通電しないとしたら「展開し易いし費やさない」ということは事実と異なる」物はある fact9: 仮になにがしかのものは打電すれば「有り難くなくて言い通すということはない」ということは偽だ fact10: もしこの犯罪事実は打電しないなら「有り難くないが言い通す」ということは間違いである fact11: もしあるものは打電しないなら「それは有り難くなくて言い通さない」ということは事実と異なる fact12: もしも「なにがしかのものは食べ終えない」ということは確かであるとしたら「文法上でなくてそれに面倒臭いということはない」ということは間違いである fact13: 「もしも打電しないなら有り難くないししかも言い通すということはない」ものはある fact14: もしとある物は打電するということはないとすれば「それは有り難いがしかし言い通すということはない」ということは誤っている fact15: 「もし仮に打電するとしたら「有り難くないし言い通さない」ということは偽である」物はある fact16: もし何らかの物は文法上であるということはないとしたら「それは面倒臭くないしさらに意地悪くない」ということは成り立たない fact17: もしもこの犯罪事実は日系移民でないならば有り難くなくてそれに気高しない
fact11 -> int1: 仮にこの犯罪事実は打電しないとすれば「有り難くなくて言い通すということはない」ということは事実と異なる; int1 -> hypothesis;
あの直射日光は食べ終えないなら「それは文法上であるということはないし更にそれは面倒臭くない」ということは成り立たない
fact18 -> hypothesis;
$facts$ = fact1: この犯罪事実は涅槃経であるということはないならばそれは心安いということはないし厳めしかない fact2: 仮にこの犯罪事実は打電するということはないとすれば「有り難いがしかし言い通さない」ということは偽である fact3: もしこの物語は言い通さないとすると「それは魚網でないしそれに着かない」ということは誤りだ fact4: 「仮に付け難いということはないとしたら「「切り揃えないけど費やす」ということは真実である」ということは成り立たない」物はある fact5: もしも「この犯罪事実は打電する」ということは成り立つなら「有り難くないしまた言い通さない」ということは誤りである fact6: もしも「なんらかのものは打電しない」ということは成り立つとすれば「有り難くなくてまたそれは言い通す」ということは事実と異なる fact7: 「もし仮に読み違えないとしたら「一分銀でないしめでたい」ということは成り立つということはない」ものはある fact8: 「もし通電しないとしたら「展開し易いし費やさない」ということは事実と異なる」物はある fact9: 仮になにがしかのものは打電すれば「有り難くなくて言い通すということはない」ということは偽だ fact10: もしこの犯罪事実は打電しないなら「有り難くないが言い通す」ということは間違いである fact11: もしあるものは打電しないなら「それは有り難くなくて言い通さない」ということは事実と異なる fact12: もしも「なにがしかのものは食べ終えない」ということは確かであるとしたら「文法上でなくてそれに面倒臭いということはない」ということは間違いである fact13: 「もしも打電しないなら有り難くないししかも言い通すということはない」ものはある fact14: もしとある物は打電するということはないとすれば「それは有り難いがしかし言い通すということはない」ということは誤っている fact15: 「もし仮に打電するとしたら「有り難くないし言い通さない」ということは偽である」物はある fact16: もし何らかの物は文法上であるということはないとしたら「それは面倒臭くないしさらに意地悪くない」ということは成り立たない fact17: もしもこの犯罪事実は日系移民でないならば有り難くなくてそれに気高しない ; $hypothesis$ = 「仮に「打電するということはない」ということは成り立つなら「有り難くなくて言い通さない」ということは事実と異なる」ものはある ; $proof$ = 
fact11 -> int1: 仮にこの犯罪事実は打電しないとすれば「有り難くなくて言い通すということはない」ということは事実と異なる; int1 -> hypothesis; __PROVED__
事実1: この犯罪事実は涅槃経であるということはないならばそれは心安いということはないし厳めしかない
事実2: 仮にこの犯罪事実は打電するということはないとすれば「有り難いがしかし言い通さない」ということは偽である
事実3: もしこの物語は言い通さないとすると「それは魚網でないしそれに着かない」ということは誤りだ
事実4: 「仮に付け難いということはないとしたら「「切り揃えないけど費やす」ということは真実である」ということは成り立たない」物はある
事実5: もしも「この犯罪事実は打電する」ということは成り立つなら「有り難くないしまた言い通さない」ということは誤りである
事実6: もしも「なんらかのものは打電しない」ということは成り立つとすれば「有り難くなくてまたそれは言い通す」ということは事実と異なる
事実7: 「もし仮に読み違えないとしたら「一分銀でないしめでたい」ということは成り立つということはない」ものはある
事実8: 「もし通電しないとしたら「展開し易いし費やさない」ということは事実と異なる」物はある
事実9: 仮になにがしかのものは打電すれば「有り難くなくて言い通すということはない」ということは偽だ
事実10: もしこの犯罪事実は打電しないなら「有り難くないが言い通す」ということは間違いである
事実11: もしあるものは打電しないなら「それは有り難くなくて言い通さない」ということは事実と異なる
事実12: もしも「なにがしかのものは食べ終えない」ということは確かであるとしたら「文法上でなくてそれに面倒臭いということはない」ということは間違いである
事実13: 「もしも打電しないなら有り難くないししかも言い通すということはない」ものはある
事実14: もしとある物は打電するということはないとすれば「それは有り難いがしかし言い通すということはない」ということは誤っている
事実15: 「もし仮に打電するとしたら「有り難くないし言い通さない」ということは偽である」物はある
事実16: もし何らかの物は文法上であるということはないとしたら「それは面倒臭くないしさらに意地悪くない」ということは成り立たない
事実17: もしもこの犯罪事実は日系移民でないならば有り難くなくてそれに気高しない

仮説: 「仮に「打電するということはない」ということは成り立つなら「有り難くなくて言い通さない」ということは事実と異なる」ものはある
1. 事実11から、推論1: "仮にこの犯罪事実は打電しないとすれば「有り難くなくて言い通すということはない」ということは事実と異なる"が導かれる
2. 推論1から、仮説が導かれる

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