「この宵闇はアンデス世界でないしまたそれは成り易くない」ということは間違いである
fact1: もし仮にあの四層がでかいならこの宵闇はアンデス世界でなくておまけに成り易くない fact2: あの四層はでかい
$facts$ = fact1: もし仮にあの四層がでかいならこの宵闇はアンデス世界でなくておまけに成り易くない fact2: あの四層はでかい ; $hypothesis$ = 「この宵闇はアンデス世界でないしまたそれは成り易くない」ということは間違いである ; $proof$ = 
事実1: もし仮にあの四層がでかいならこの宵闇はアンデス世界でなくておまけに成り易くない
事実2: あの四層はでかい

仮説: 「この宵闇はアンデス世界でないしまたそれは成り易くない」ということは間違いである