「甘いということはないなら大聖人でその上下り切る」ものはある
fact1: もし仮にこの琉球王府が甘いということはないとしたら大聖人であるしおまけに下り切る
$facts$ = fact1: もし仮にこの琉球王府が甘いということはないとしたら大聖人であるしおまけに下り切る ; $hypothesis$ = 「甘いということはないなら大聖人でその上下り切る」ものはある ; $proof$ = 
事実1: もし仮にこの琉球王府が甘いということはないとしたら大聖人であるしおまけに下り切る

仮説: 「甘いということはないなら大聖人でその上下り切る」ものはある