「仮に乗り熟さないとすれば「遣り難くないしかつ上げパンでない」ということは成り立たない」ものはある
fact1: この粗熱が乗り熟さないとすると遣り難くないしまた上げパンでない fact2: なんらかの物は乗り熟さないとすれば「それは遣り難いということはなくてそれは上げパンでない」ということは誤っている fact3: 「仮に「乗り熟さない」ということは本当であるとすると「遣り難くて上げパンでない」ということは成り立たない」物はある fact4: もし仮に「この乳児死亡率は遣り難くない」ということは成り立つとしたら「偏らないしかつ時価評価損益でない」ということは誤りだ fact5: 仮になにがしかの物は乗り熟さないとすると「遣り難いけれど上げパンでない」ということは真実でない fact6: 仮になにかは継続中でないとしたら「それは起き易くないけど絶え間無い」ということは偽である fact7: 「なにがしかのものは進み出ない」ということは成り立つとすると「それは競技でなくてまた危なくない」ということは嘘だ fact8: 「この粗熱は乗り熟すということはない」ということは間違いだということはないとすれば「それは遣り難いしそれは上げパンでない」ということは嘘だ fact9: もしこの粗熱は乗り熟せば「遣り難いということはなくてそれに上げパンでない」ということは間違いである fact10: 「もし鳴き続けないとすると「哲学的問題だということはないけど心理的問題だ」ということは間違いな」ものはある fact11: もし仮に何かは乗り熟さないとすると「それは遣り難くないけど上げパンだ」ということは成り立たない fact12: 「もし三人分であるとすれば「京都見回り組でないしその上心理的問題でない」ということは事実と異なる」ものはある fact13: もしこの粗熱は乗り熟すということはないならば「遣り難くないけど上げパンだ」ということは嘘だ fact14: 仮にある物は暗黙であるということはないなら「白いがしかし歩行感でない」ということは誤りだ fact15: もしなんらかの物は程無くないならば「それはＬＩＰでないけれど御別れである」ということは成り立たない fact16: 「もし仮に乗り熟さないなら「遣り難くないしさらに上げパンだ」ということは事実と異なる」物はある fact17: 「仮に乗り熟さないなら遣り難くないし上げパンであるということはない」ものはある fact18: なんらかの物は乗り熟すなら「遣り難くないしさらに上げパンでない」ということは誤っている fact19: もし仮にとある物が乗り熟さないとしたらそれは遣り難くないししかも上げパンでない
fact2 -> int1: もしこの粗熱は乗り熟すということはないとすれば「遣り難くないしそれに上げパンであるということはない」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: この粗熱が乗り熟さないとすると遣り難くないしまた上げパンでない fact2: なんらかの物は乗り熟さないとすれば「それは遣り難いということはなくてそれは上げパンでない」ということは誤っている fact3: 「仮に「乗り熟さない」ということは本当であるとすると「遣り難くて上げパンでない」ということは成り立たない」物はある fact4: もし仮に「この乳児死亡率は遣り難くない」ということは成り立つとしたら「偏らないしかつ時価評価損益でない」ということは誤りだ fact5: 仮になにがしかの物は乗り熟さないとすると「遣り難いけれど上げパンでない」ということは真実でない fact6: 仮になにかは継続中でないとしたら「それは起き易くないけど絶え間無い」ということは偽である fact7: 「なにがしかのものは進み出ない」ということは成り立つとすると「それは競技でなくてまた危なくない」ということは嘘だ fact8: 「この粗熱は乗り熟すということはない」ということは間違いだということはないとすれば「それは遣り難いしそれは上げパンでない」ということは嘘だ fact9: もしこの粗熱は乗り熟せば「遣り難いということはなくてそれに上げパンでない」ということは間違いである fact10: 「もし鳴き続けないとすると「哲学的問題だということはないけど心理的問題だ」ということは間違いな」ものはある fact11: もし仮に何かは乗り熟さないとすると「それは遣り難くないけど上げパンだ」ということは成り立たない fact12: 「もし三人分であるとすれば「京都見回り組でないしその上心理的問題でない」ということは事実と異なる」ものはある fact13: もしこの粗熱は乗り熟すということはないならば「遣り難くないけど上げパンだ」ということは嘘だ fact14: 仮にある物は暗黙であるということはないなら「白いがしかし歩行感でない」ということは誤りだ fact15: もしなんらかの物は程無くないならば「それはＬＩＰでないけれど御別れである」ということは成り立たない fact16: 「もし仮に乗り熟さないなら「遣り難くないしさらに上げパンだ」ということは事実と異なる」物はある fact17: 「仮に乗り熟さないなら遣り難くないし上げパンであるということはない」ものはある fact18: なんらかの物は乗り熟すなら「遣り難くないしさらに上げパンでない」ということは誤っている fact19: もし仮にとある物が乗り熟さないとしたらそれは遣り難くないししかも上げパンでない ; $hypothesis$ = 「仮に乗り熟さないとすれば「遣り難くないしかつ上げパンでない」ということは成り立たない」ものはある ; $proof$ = 
fact2 -> int1: もしこの粗熱は乗り熟すということはないとすれば「遣り難くないしそれに上げパンであるということはない」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
事実1: この粗熱が乗り熟さないとすると遣り難くないしまた上げパンでない
事実2: なんらかの物は乗り熟さないとすれば「それは遣り難いということはなくてそれは上げパンでない」ということは誤っている
事実3: 「仮に「乗り熟さない」ということは本当であるとすると「遣り難くて上げパンでない」ということは成り立たない」物はある
事実4: もし仮に「この乳児死亡率は遣り難くない」ということは成り立つとしたら「偏らないしかつ時価評価損益でない」ということは誤りだ
事実5: 仮になにがしかの物は乗り熟さないとすると「遣り難いけれど上げパンでない」ということは真実でない
事実6: 仮になにかは継続中でないとしたら「それは起き易くないけど絶え間無い」ということは偽である
事実7: 「なにがしかのものは進み出ない」ということは成り立つとすると「それは競技でなくてまた危なくない」ということは嘘だ
事実8: 「この粗熱は乗り熟すということはない」ということは間違いだということはないとすれば「それは遣り難いしそれは上げパンでない」ということは嘘だ
事実9: もしこの粗熱は乗り熟せば「遣り難いということはなくてそれに上げパンでない」ということは間違いである
事実10: 「もし鳴き続けないとすると「哲学的問題だということはないけど心理的問題だ」ということは間違いな」ものはある
事実11: もし仮に何かは乗り熟さないとすると「それは遣り難くないけど上げパンだ」ということは成り立たない
事実12: 「もし三人分であるとすれば「京都見回り組でないしその上心理的問題でない」ということは事実と異なる」ものはある
事実13: もしこの粗熱は乗り熟すということはないならば「遣り難くないけど上げパンだ」ということは嘘だ
事実14: 仮にある物は暗黙であるということはないなら「白いがしかし歩行感でない」ということは誤りだ
事実15: もしなんらかの物は程無くないならば「それはＬＩＰでないけれど御別れである」ということは成り立たない
事実16: 「もし仮に乗り熟さないなら「遣り難くないしさらに上げパンだ」ということは事実と異なる」物はある
事実17: 「仮に乗り熟さないなら遣り難くないし上げパンであるということはない」ものはある
事実18: なんらかの物は乗り熟すなら「遣り難くないしさらに上げパンでない」ということは誤っている
事実19: もし仮にとある物が乗り熟さないとしたらそれは遣り難くないししかも上げパンでない

仮説: 「仮に乗り熟さないとすれば「遣り難くないしかつ上げパンでない」ということは成り立たない」ものはある
1. 事実2から、推論1: "もしこの粗熱は乗り熟すということはないとすれば「遣り難くないしそれに上げパンであるということはない」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が導かれる

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