「「仮に「東上するということはない」ということは真実だとしたら「惜しみ無いということはなくてしかも当たり前過ぎない」ということは成り立たない」ものはある」ということは確かだ
fact1: もしあの金融機関等は東上すれば「それは惜しみ無くないし当たり前過ぎない」ということは事実と異なる fact2: 何らかのものは東上しないとすると「惜しみ無いしそれは当たり前過ぎるということはない」ということは間違いである fact3: あの金融機関等は東上しないとしたら「それは惜しみ無くないしその上当たり前過ぎる」ということは誤りである fact4: とあるものは招致しないとしたら「完熟しない一方で眠い」ということは間違っている fact5: 「もしも堪え難くないとすれば象らないしさらに返還請求権でない」物はある fact6: 「伝言しないならば首尾良くなくて大差無くない」ものはある fact7: 「もし仮に東上するとすると「惜しみ無くないし当たり前過ぎない」ということは間違っている」物はある fact8: 「もし仮に東上しないとすれば「惜しみ無くないしまた当たり前過ぎる」ということは成り立つということはない」ものはある fact9: 何らかのものは東上するということはないとすれば「惜しみ無いということはなくて加えて当たり前過ぎない」ということは嘘である fact10: 「もし仮に慎み深いということはないとしたら「標準化しないしかつ息苦しさでない」ということは成り立たない」ものはある fact11: 仮にあの金融機関等は東上しないならば「それは惜しみ無いしまた当たり前過ぎない」ということは偽である fact12: もし仮にとある物が世帯主でないならば教授すらないしそれは悔しくない fact13: もしも何かは作成済みでないとすれば「それは吝くないけど抜き難い」ということは間違っている fact14: もしも「「あの金融機関等は東上する」ということは事実である」ということは本当だということはないならそれが惜しみ無くないしさらにそれは当たり前過ぎない fact15: 何らかのものは東上しないならば「惜しみ無くないけれど当たり前過ぎる」ということは成り立たない fact16: 「もし「東上しない」ということは本当であるとすると「惜しみ無くて当たり前過ぎるということはない」ということは偽である」物はある fact17: 「仮に関係深くないならば捕らえ切れないし頼り無くない」ものはある fact18: とあるものは東上するなら「惜しみ無くないしかつ当たり前過ぎない」ということは誤っている
fact9 -> int1: 仮にあの金融機関等は東上しないとすれば「惜しみ無くないしかつ当たり前過ぎるということはない」ということは間違いだ; int1 -> hypothesis;
fact9 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしあの金融機関等は東上すれば「それは惜しみ無くないし当たり前過ぎない」ということは事実と異なる fact2: 何らかのものは東上しないとすると「惜しみ無いしそれは当たり前過ぎるということはない」ということは間違いである fact3: あの金融機関等は東上しないとしたら「それは惜しみ無くないしその上当たり前過ぎる」ということは誤りである fact4: とあるものは招致しないとしたら「完熟しない一方で眠い」ということは間違っている fact5: 「もしも堪え難くないとすれば象らないしさらに返還請求権でない」物はある fact6: 「伝言しないならば首尾良くなくて大差無くない」ものはある fact7: 「もし仮に東上するとすると「惜しみ無くないし当たり前過ぎない」ということは間違っている」物はある fact8: 「もし仮に東上しないとすれば「惜しみ無くないしまた当たり前過ぎる」ということは成り立つということはない」ものはある fact9: 何らかのものは東上するということはないとすれば「惜しみ無いということはなくて加えて当たり前過ぎない」ということは嘘である fact10: 「もし仮に慎み深いということはないとしたら「標準化しないしかつ息苦しさでない」ということは成り立たない」ものはある fact11: 仮にあの金融機関等は東上しないならば「それは惜しみ無いしまた当たり前過ぎない」ということは偽である fact12: もし仮にとある物が世帯主でないならば教授すらないしそれは悔しくない fact13: もしも何かは作成済みでないとすれば「それは吝くないけど抜き難い」ということは間違っている fact14: もしも「「あの金融機関等は東上する」ということは事実である」ということは本当だということはないならそれが惜しみ無くないしさらにそれは当たり前過ぎない fact15: 何らかのものは東上しないならば「惜しみ無くないけれど当たり前過ぎる」ということは成り立たない fact16: 「もし「東上しない」ということは本当であるとすると「惜しみ無くて当たり前過ぎるということはない」ということは偽である」物はある fact17: 「仮に関係深くないならば捕らえ切れないし頼り無くない」ものはある fact18: とあるものは東上するなら「惜しみ無くないしかつ当たり前過ぎない」ということは誤っている ; $hypothesis$ = 「「仮に「東上するということはない」ということは真実だとしたら「惜しみ無いということはなくてしかも当たり前過ぎない」ということは成り立たない」ものはある」ということは確かだ ; $proof$ = 
fact9 -> int1: 仮にあの金融機関等は東上しないとすれば「惜しみ無くないしかつ当たり前過ぎるということはない」ということは間違いだ; int1 -> hypothesis; __PROVED__
事実1: もしあの金融機関等は東上すれば「それは惜しみ無くないし当たり前過ぎない」ということは事実と異なる
事実2: 何らかのものは東上しないとすると「惜しみ無いしそれは当たり前過ぎるということはない」ということは間違いである
事実3: あの金融機関等は東上しないとしたら「それは惜しみ無くないしその上当たり前過ぎる」ということは誤りである
事実4: とあるものは招致しないとしたら「完熟しない一方で眠い」ということは間違っている
事実5: 「もしも堪え難くないとすれば象らないしさらに返還請求権でない」物はある
事実6: 「伝言しないならば首尾良くなくて大差無くない」ものはある
事実7: 「もし仮に東上するとすると「惜しみ無くないし当たり前過ぎない」ということは間違っている」物はある
事実8: 「もし仮に東上しないとすれば「惜しみ無くないしまた当たり前過ぎる」ということは成り立つということはない」ものはある
事実9: 何らかのものは東上するということはないとすれば「惜しみ無いということはなくて加えて当たり前過ぎない」ということは嘘である
事実10: 「もし仮に慎み深いということはないとしたら「標準化しないしかつ息苦しさでない」ということは成り立たない」ものはある
事実11: 仮にあの金融機関等は東上しないならば「それは惜しみ無いしまた当たり前過ぎない」ということは偽である
事実12: もし仮にとある物が世帯主でないならば教授すらないしそれは悔しくない
事実13: もしも何かは作成済みでないとすれば「それは吝くないけど抜き難い」ということは間違っている
事実14: もしも「「あの金融機関等は東上する」ということは事実である」ということは本当だということはないならそれが惜しみ無くないしさらにそれは当たり前過ぎない
事実15: 何らかのものは東上しないならば「惜しみ無くないけれど当たり前過ぎる」ということは成り立たない
事実16: 「もし「東上しない」ということは本当であるとすると「惜しみ無くて当たり前過ぎるということはない」ということは偽である」物はある
事実17: 「仮に関係深くないならば捕らえ切れないし頼り無くない」ものはある
事実18: とあるものは東上するなら「惜しみ無くないしかつ当たり前過ぎない」ということは誤っている

仮説: 「「仮に「東上するということはない」ということは真実だとしたら「惜しみ無いということはなくてしかも当たり前過ぎない」ということは成り立たない」ものはある」ということは確かだ
1. 事実9から、推論1: "仮にあの金融機関等は東上しないとすれば「惜しみ無くないしかつ当たり前過ぎるということはない」ということは間違いだ"が導かれる
2. 推論1から、仮説が導かれる

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