「もし仮にどぎつかないし加えて届き難くないならば「憎し」ということは成り立つ」ものはある
fact1: この癸酉がどぎついということはないしまたそれが届き難いということはないならそれは憎し
$facts$ = fact1: この癸酉がどぎついということはないしまたそれが届き難いということはないならそれは憎し ; $hypothesis$ = 「もし仮にどぎつかないし加えて届き難くないならば「憎し」ということは成り立つ」ものはある ; $proof$ = 
事実1: この癸酉がどぎついということはないしまたそれが届き難いということはないならそれは憎し

仮説: 「もし仮にどぎつかないし加えて届き難くないならば「憎し」ということは成り立つ」ものはある