「もしも御知らせでないとすると消化し難い」ものはある
fact1: あのグリーンが数え始めないとすると渋い fact2: 「仮に進化し易くないとすれば「行われ易い」ということは成り立つ」物はある fact3: 「惜しくないとしたら忝い」ものはある fact4: 「もしも売れ続けるとしたら付着な」物はある fact5: 「もし解除出来るとすると最三小判平である」物はある fact6: 「あのグリーンは区分毎だ」ということは事実と異ならないとするとそれは消化し難い fact7: 仮にあのグリーンは御知らせでないとするとそれは消化し難い fact8: 「もし許し難くないとしたら晒され易い」物はある fact9: 仮にあのグリーンが通風孔でないとすれば御知らせである fact10: 「仮に広ーくないとすれば迷い難い」ものはある fact11: 「もし仮に通風孔であるとすると「召し抱える」ということは確かである」物はある fact12: もし仮にあの二人掛かりが反応すとしたらそれは消化し難い
fact7 -> hypothesis;
$facts$ = fact1: あのグリーンが数え始めないとすると渋い fact2: 「仮に進化し易くないとすれば「行われ易い」ということは成り立つ」物はある fact3: 「惜しくないとしたら忝い」ものはある fact4: 「もしも売れ続けるとしたら付着な」物はある fact5: 「もし解除出来るとすると最三小判平である」物はある fact6: 「あのグリーンは区分毎だ」ということは事実と異ならないとするとそれは消化し難い fact7: 仮にあのグリーンは御知らせでないとするとそれは消化し難い fact8: 「もし許し難くないとしたら晒され易い」物はある fact9: 仮にあのグリーンが通風孔でないとすれば御知らせである fact10: 「仮に広ーくないとすれば迷い難い」ものはある fact11: 「もし仮に通風孔であるとすると「召し抱える」ということは確かである」物はある fact12: もし仮にあの二人掛かりが反応すとしたらそれは消化し難い ; $hypothesis$ = 「もしも御知らせでないとすると消化し難い」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: あのグリーンが数え始めないとすると渋い
事実2: 「仮に進化し易くないとすれば「行われ易い」ということは成り立つ」物はある
事実3: 「惜しくないとしたら忝い」ものはある
事実4: 「もしも売れ続けるとしたら付着な」物はある
事実5: 「もし解除出来るとすると最三小判平である」物はある
事実6: 「あのグリーンは区分毎だ」ということは事実と異ならないとするとそれは消化し難い
事実7: 仮にあのグリーンは御知らせでないとするとそれは消化し難い
事実8: 「もし許し難くないとしたら晒され易い」物はある
事実9: 仮にあのグリーンが通風孔でないとすれば御知らせである
事実10: 「仮に広ーくないとすれば迷い難い」ものはある
事実11: 「もし仮に通風孔であるとすると「召し抱える」ということは確かである」物はある
事実12: もし仮にあの二人掛かりが反応すとしたらそれは消化し難い

仮説: 「もしも御知らせでないとすると消化し難い」ものはある
1. 事実7から、仮説が導かれる

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