「仮に「赤みがかるしそれに京都らしいということはない」ということは誤りだとしたら比較生産費説な」ものはある
fact1: 「そのアニマシオンは赤みがかるし更に京都らしい」ということは事実と異なるなら比較生産費説である fact2: もしそのビッラ・ジュリア・エトルリア博物館が食い締めるが比較生産費説でないとすればそれは仄暗い fact3: 「もしも「赤みがかるし京都らしい」ということは間違いであるならば比較生産費説である」物はある fact4: もしもそのアニマシオンが赤みがからないとするとそれは比較生産費説である fact5: 「もし赤みがかるし加えて京都らしくないとすれば比較生産費説である」ものはある fact6: 仮にそのアニマシオンは赤みがかるが京都らしくないとしたらそれは比較生産費説だ fact7: もし仮に「そのアニマシオンは赤みがかるが京都らしくない」ということは偽なら比較生産費説だ
fact7 -> hypothesis;
fact7 -> hypothesis;
$facts$ = fact1: 「そのアニマシオンは赤みがかるし更に京都らしい」ということは事実と異なるなら比較生産費説である fact2: もしそのビッラ・ジュリア・エトルリア博物館が食い締めるが比較生産費説でないとすればそれは仄暗い fact3: 「もしも「赤みがかるし京都らしい」ということは間違いであるならば比較生産費説である」物はある fact4: もしもそのアニマシオンが赤みがからないとするとそれは比較生産費説である fact5: 「もし赤みがかるし加えて京都らしくないとすれば比較生産費説である」ものはある fact6: 仮にそのアニマシオンは赤みがかるが京都らしくないとしたらそれは比較生産費説だ fact7: もし仮に「そのアニマシオンは赤みがかるが京都らしくない」ということは偽なら比較生産費説だ ; $hypothesis$ = 「仮に「赤みがかるしそれに京都らしいということはない」ということは誤りだとしたら比較生産費説な」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「そのアニマシオンは赤みがかるし更に京都らしい」ということは事実と異なるなら比較生産費説である
事実2: もしそのビッラ・ジュリア・エトルリア博物館が食い締めるが比較生産費説でないとすればそれは仄暗い
事実3: 「もしも「赤みがかるし京都らしい」ということは間違いであるならば比較生産費説である」物はある
事実4: もしもそのアニマシオンが赤みがからないとするとそれは比較生産費説である
事実5: 「もし赤みがかるし加えて京都らしくないとすれば比較生産費説である」ものはある
事実6: 仮にそのアニマシオンは赤みがかるが京都らしくないとしたらそれは比較生産費説だ
事実7: もし仮に「そのアニマシオンは赤みがかるが京都らしくない」ということは偽なら比較生産費説だ

仮説: 「仮に「赤みがかるしそれに京都らしいということはない」ということは誤りだとしたら比較生産費説な」ものはある
1. 事実7から、仮説が導かれる

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