「あの厚遇は到達し得るということはない」ということは事実だ
fact1: もしあの厚遇が慕わしいとすれば到達し得る fact2: もしも「その民間事業者は慕わしいかあるいはそれは到達し得るということはないかあるいは両方ともだ」ということは本当でないならばあの厚遇は到達し得ない fact3: あの厚遇は慕わしい
fact1 & fact3 -> hypothesis;
fact1 & fact3 -> hypothesis;
あの厚遇は到達し得ない
$facts$ = fact1: もしあの厚遇が慕わしいとすれば到達し得る fact2: もしも「その民間事業者は慕わしいかあるいはそれは到達し得るということはないかあるいは両方ともだ」ということは本当でないならばあの厚遇は到達し得ない fact3: あの厚遇は慕わしい ; $hypothesis$ = 「あの厚遇は到達し得るということはない」ということは事実だ ; $proof$ = 
fact1 & fact3 -> hypothesis; __DISPROVED__
事実1: もしあの厚遇が慕わしいとすれば到達し得る
事実2: もしも「その民間事業者は慕わしいかあるいはそれは到達し得るということはないかあるいは両方ともだ」ということは本当でないならばあの厚遇は到達し得ない
事実3: あの厚遇は慕わしい

仮説: 「あの厚遇は到達し得るということはない」ということは事実だ
1. 事実1と事実3から、仮説が否定される

よって、仮説が否定されました。