「もしも「行進する」ということは成り立つならホスチアである」ものはある
fact1: もしこの利水が行進すればホスチアだ
$facts$ = fact1: もしこの利水が行進すればホスチアだ ; $hypothesis$ = 「もしも「行進する」ということは成り立つならホスチアである」ものはある ; $proof$ = 
事実1: もしこの利水が行進すればホスチアだ

仮説: 「もしも「行進する」ということは成り立つならホスチアである」ものはある