その貸し出し金利は御優しい
fact1: うら若くない物は甚だしないしそれに述べ上げるということはない fact2: 仮にその貸し出し金利は甚だしないとすると「このトップクラスは御優しいということはなくて述べ上げない」ということは偽である fact3: その貸し出し金利はタールである fact4: 「このベクトル方式はうら若いしさらに医療問題だ」ということは間違っている fact5: そのポスト・モダニズムは御優しい fact6: あのコピュラ構造は御優しい fact7: もしも「その貸し出し金利は医療問題でない一方で甚だし」ということは成り立つということはないならば甚だしない fact8: その貸し出し金利は乾き易い fact9: もしも「とある物は御優しくなくておまけに述べ上げない」ということは成り立たないとするとそれは御優しい fact10: その貸し出し金利は御優しい
fact10 -> hypothesis;
fact10 -> hypothesis;
このトップクラスは御優しい
fact11 -> int1: 「このトップクラスは御優しくなくておまけにそれは述べ上げない」ということは成り立たないならばそれは御優しい;
$facts$ = fact1: うら若くない物は甚だしないしそれに述べ上げるということはない fact2: 仮にその貸し出し金利は甚だしないとすると「このトップクラスは御優しいということはなくて述べ上げない」ということは偽である fact3: その貸し出し金利はタールである fact4: 「このベクトル方式はうら若いしさらに医療問題だ」ということは間違っている fact5: そのポスト・モダニズムは御優しい fact6: あのコピュラ構造は御優しい fact7: もしも「その貸し出し金利は医療問題でない一方で甚だし」ということは成り立つということはないならば甚だしない fact8: その貸し出し金利は乾き易い fact9: もしも「とある物は御優しくなくておまけに述べ上げない」ということは成り立たないとするとそれは御優しい fact10: その貸し出し金利は御優しい ; $hypothesis$ = その貸し出し金利は御優しい ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: うら若くない物は甚だしないしそれに述べ上げるということはない
事実2: 仮にその貸し出し金利は甚だしないとすると「このトップクラスは御優しいということはなくて述べ上げない」ということは偽である
事実3: その貸し出し金利はタールである
事実4: 「このベクトル方式はうら若いしさらに医療問題だ」ということは間違っている
事実5: そのポスト・モダニズムは御優しい
事実6: あのコピュラ構造は御優しい
事実7: もしも「その貸し出し金利は医療問題でない一方で甚だし」ということは成り立つということはないならば甚だしない
事実8: その貸し出し金利は乾き易い
事実9: もしも「とある物は御優しくなくておまけに述べ上げない」ということは成り立たないとするとそれは御優しい
事実10: その貸し出し金利は御優しい

仮説: その貸し出し金利は御優しい
1. 事実10から、仮説が導かれる

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