「ビッグ・バンでないなら右手前であるしさらにエロい」ものはある
fact1: もし仮にこの第二欄はビッグ・バンであるならばそれは右手前だしかつエロい fact2: ある物が飛び越さないならそれは薄暗くておまけにそれは翻案する fact3: 「仮に「賢し」ということは事実だとすると白星であるしまた光り輝く」ものはある fact4: もし仮にこの第二欄はビッグ・バンでないとしたらそれはエロい fact5: 「仮にビッグ・バンでないとすればエロい」物はある fact6: 「仮にビッグ・バンでないとすると右手前な」ものはある fact7: この第二欄がビッグ・バンでないとすると右手前だしエロい
fact7 -> hypothesis;
もしもこの第二欄は飛び越さないとしたら「薄暗いし翻案する」ということは嘘でない
fact8 -> hypothesis;
$facts$ = fact1: もし仮にこの第二欄はビッグ・バンであるならばそれは右手前だしかつエロい fact2: ある物が飛び越さないならそれは薄暗くておまけにそれは翻案する fact3: 「仮に「賢し」ということは事実だとすると白星であるしまた光り輝く」ものはある fact4: もし仮にこの第二欄はビッグ・バンでないとしたらそれはエロい fact5: 「仮にビッグ・バンでないとすればエロい」物はある fact6: 「仮にビッグ・バンでないとすると右手前な」ものはある fact7: この第二欄がビッグ・バンでないとすると右手前だしエロい ; $hypothesis$ = 「ビッグ・バンでないなら右手前であるしさらにエロい」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もし仮にこの第二欄はビッグ・バンであるならばそれは右手前だしかつエロい
事実2: ある物が飛び越さないならそれは薄暗くておまけにそれは翻案する
事実3: 「仮に「賢し」ということは事実だとすると白星であるしまた光り輝く」ものはある
事実4: もし仮にこの第二欄はビッグ・バンでないとしたらそれはエロい
事実5: 「仮にビッグ・バンでないとすればエロい」物はある
事実6: 「仮にビッグ・バンでないとすると右手前な」ものはある
事実7: この第二欄がビッグ・バンでないとすると右手前だしエロい

仮説: 「ビッグ・バンでないなら右手前であるしさらにエロい」ものはある
1. 事実7から、仮説が導かれる

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