「仮に御迎えに成るということはないなら「「礼でないけど十九世紀中葉だ」ということは成り立つ」ということは成り立たない」ものはある
fact1: もしあの自然力は御迎えに成らないとしたら「礼でないし十九世紀中葉である」ということは偽だ
$facts$ = fact1: もしあの自然力は御迎えに成らないとしたら「礼でないし十九世紀中葉である」ということは偽だ ; $hypothesis$ = 「仮に御迎えに成るということはないなら「「礼でないけど十九世紀中葉だ」ということは成り立つ」ということは成り立たない」ものはある ; $proof$ = 
事実1: もしあの自然力は御迎えに成らないとしたら「礼でないし十九世紀中葉である」ということは偽だ

仮説: 「仮に御迎えに成るということはないなら「「礼でないけど十九世紀中葉だ」ということは成り立つ」ということは成り立たない」ものはある