あの戦争期はネーム属性であるかまたは標識しないかもしくはどちらもである
fact1: 仮にあの反が限り無いとすればあの戦争期はネーム属性であるかあるいはそれは標識しない fact2: 「あの反は限り無い」ということは成り立つ
$facts$ = fact1: 仮にあの反が限り無いとすればあの戦争期はネーム属性であるかあるいはそれは標識しない fact2: 「あの反は限り無い」ということは成り立つ ; $hypothesis$ = あの戦争期はネーム属性であるかまたは標識しないかもしくはどちらもである ; $proof$ = 
事実1: 仮にあの反が限り無いとすればあの戦争期はネーム属性であるかあるいはそれは標識しない
事実2: 「あの反は限り無い」ということは成り立つ

仮説: あの戦争期はネーム属性であるかまたは標識しないかもしくはどちらもである