「その復員は主権免除である」ということは事実と異ならない
fact1: この等式は例外である fact2: もしこの等式は例外だとしたら「その復員は主権免除だ」ということは嘘だということはない
$facts$ = fact1: この等式は例外である fact2: もしこの等式は例外だとしたら「その復員は主権免除だ」ということは嘘だということはない ; $hypothesis$ = 「その復員は主権免除である」ということは事実と異ならない ; $proof$ = 
事実1: この等式は例外である
事実2: もしこの等式は例外だとしたら「その復員は主権免除だ」ということは嘘だということはない

仮説: 「その復員は主権免除である」ということは事実と異ならない