あの盤上は還住する
fact1: あの盤上は相応しいかもしくは規定し得るかまたは両方である fact2: 仮にあの盤上は相応しいかあるいは規定し得るかあるいは両方ともであるならそれは還住しない
$facts$ = fact1: あの盤上は相応しいかもしくは規定し得るかまたは両方である fact2: 仮にあの盤上は相応しいかあるいは規定し得るかあるいは両方ともであるならそれは還住しない ; $hypothesis$ = あの盤上は還住する ; $proof$ = 
事実1: あの盤上は相応しいかもしくは規定し得るかまたは両方である
事実2: 仮にあの盤上は相応しいかあるいは規定し得るかあるいは両方ともであるならそれは還住しない

仮説: あの盤上は還住する