「もし熟しないならば薦被りであるということはない」ものはある
fact1: 仮にその御内容が熟するということはないとすればそれは薦被りでない
$facts$ = fact1: 仮にその御内容が熟するということはないとすればそれは薦被りでない ; $hypothesis$ = 「もし熟しないならば薦被りであるということはない」ものはある ; $proof$ = 
事実1: 仮にその御内容が熟するということはないとすればそれは薦被りでない

仮説: 「もし熟しないならば薦被りであるということはない」ものはある