この受け付け開始は一泊する
fact1: もし仮にこの受け付け開始は移動し易いならば「一泊しない」ということは真実だ fact2: この受け付け開始は移動し易い
$facts$ = fact1: もし仮にこの受け付け開始は移動し易いならば「一泊しない」ということは真実だ fact2: この受け付け開始は移動し易い ; $hypothesis$ = この受け付け開始は一泊する ; $proof$ = 
事実1: もし仮にこの受け付け開始は移動し易いならば「一泊しない」ということは真実だ
事実2: この受け付け開始は移動し易い

仮説: この受け付け開始は一泊する