「仮に「転地しなくて加えて出迎える」ということは真実でないならば打ち終えるということはない」物はある
fact1: もしも「その士大夫は転地するということはないがそれは出迎える」ということは成り立たないとすれば打ち終えない
$facts$ = fact1: もしも「その士大夫は転地するということはないがそれは出迎える」ということは成り立たないとすれば打ち終えない ; $hypothesis$ = 「仮に「転地しなくて加えて出迎える」ということは真実でないならば打ち終えるということはない」物はある ; $proof$ = 
事実1: もしも「その士大夫は転地するということはないがそれは出迎える」ということは成り立たないとすれば打ち終えない

仮説: 「仮に「転地しなくて加えて出迎える」ということは真実でないならば打ち終えるということはない」物はある