「この旅券は御偉い」ということは本当である
fact1: この旅券は緩和出来ない一方で境界変更である fact2: もしこの旅券が緩和出来ない一方で境界変更であるならば御偉い
$facts$ = fact1: この旅券は緩和出来ない一方で境界変更である fact2: もしこの旅券が緩和出来ない一方で境界変更であるならば御偉い ; $hypothesis$ = 「この旅券は御偉い」ということは本当である ; $proof$ = 
事実1: この旅券は緩和出来ない一方で境界変更である
事実2: もしこの旅券が緩和出来ない一方で境界変更であるならば御偉い

仮説: 「この旅券は御偉い」ということは本当である