「その特別待遇は使用許諾でない」ということは成り立つ
fact1: もしもその特別待遇は前門でないならそれは使用許諾だ fact2: その特別待遇は前門だということはない
$facts$ = fact1: もしもその特別待遇は前門でないならそれは使用許諾だ fact2: その特別待遇は前門だということはない ; $hypothesis$ = 「その特別待遇は使用許諾でない」ということは成り立つ ; $proof$ = 
事実1: もしもその特別待遇は前門でないならそれは使用許諾だ
事実2: その特別待遇は前門だということはない

仮説: 「その特別待遇は使用許諾でない」ということは成り立つ