「間違い易いならば「算定し難いけれど暗くない」ということは嘘である」モンスターはいる
fact1: 「再定義するかまたは極まりないかもしくは両方ともな」モンスターはいる
$facts$ = fact1: 「再定義するかまたは極まりないかもしくは両方ともな」モンスターはいる ; $hypothesis$ = 「間違い易いならば「算定し難いけれど暗くない」ということは嘘である」モンスターはいる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__