もし「この殷代は危うくない一方で先行取得資産だ」ということは成り立たないならそれはサーバログ型であるということはない
fact1: もしも「なにかは危うくないがそれは先行取得資産である」ということは誤りだとするとサーバログ型でない
$facts$ = fact1: もしも「なにかは危うくないがそれは先行取得資産である」ということは誤りだとするとサーバログ型でない ; $hypothesis$ = もし「この殷代は危うくない一方で先行取得資産だ」ということは成り立たないならそれはサーバログ型であるということはない ; $proof$ = 
事実1: もしも「なにかは危うくないがそれは先行取得資産である」ということは誤りだとするとサーバログ型でない

仮説: もし「この殷代は危うくない一方で先行取得資産だ」ということは成り立たないならそれはサーバログ型であるということはない