「その岩相は眩くない」ということは誤りだということはない
fact1: もしもその非武装地帯がほろ苦いとするとその岩相は眩い fact2: その非武装地帯はほろ苦い
$facts$ = fact1: もしもその非武装地帯がほろ苦いとするとその岩相は眩い fact2: その非武装地帯はほろ苦い ; $hypothesis$ = 「その岩相は眩くない」ということは誤りだということはない ; $proof$ = 
事実1: もしもその非武装地帯がほろ苦いとするとその岩相は眩い
事実2: その非武装地帯はほろ苦い

仮説: 「その岩相は眩くない」ということは誤りだということはない