「もし「毛深くないし尽くし難い」ということは間違っているとすれば腐さない」ものはある
fact1: 「尽くし難くないなら腐すということはない」ものはある fact2: もしも「あの蒟蒻問答的側面は毛深くないがしかしそれは尽くし難い」ということは間違いであるなら腐すということはない fact3: もしあの蒟蒻問答的側面は尽くし難くないとすればそれは腐さない
fact2 -> hypothesis;
$facts$ = fact1: 「尽くし難くないなら腐すということはない」ものはある fact2: もしも「あの蒟蒻問答的側面は毛深くないがしかしそれは尽くし難い」ということは間違いであるなら腐すということはない fact3: もしあの蒟蒻問答的側面は尽くし難くないとすればそれは腐さない ; $hypothesis$ = 「もし「毛深くないし尽くし難い」ということは間違っているとすれば腐さない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「尽くし難くないなら腐すということはない」ものはある
事実2: もしも「あの蒟蒻問答的側面は毛深くないがしかしそれは尽くし難い」ということは間違いであるなら腐すということはない
事実3: もしあの蒟蒻問答的側面は尽くし難くないとすればそれは腐さない

仮説: 「もし「毛深くないし尽くし難い」ということは間違っているとすれば腐さない」ものはある
1. 事実2から、仮説が導かれる

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