その馴染み幅はマルディ・グラだ
fact1: 「もしあの近隣地が疑り深くないとすればその馴染み幅はマルディ・グラだ」ということは成り立つ fact2: あの近隣地は疑り深くない
$facts$ = fact1: 「もしあの近隣地が疑り深くないとすればその馴染み幅はマルディ・グラだ」ということは成り立つ fact2: あの近隣地は疑り深くない ; $hypothesis$ = その馴染み幅はマルディ・グラだ ; $proof$ = 
事実1: 「もしあの近隣地が疑り深くないとすればその馴染み幅はマルディ・グラだ」ということは成り立つ
事実2: あの近隣地は疑り深くない

仮説: その馴染み幅はマルディ・グラだ