あの分水嶺は理解し易くない
fact1: もしもあの疼きは高松城だとすると「あの分水嶺は理解し易い」ということは嘘でない fact2: もし仮にあの疼きが独占するならあの分水嶺は理解し易い fact3: あの疼きは独占するかもしくは高松城であるかまたはどちらもである
$facts$ = fact1: もしもあの疼きは高松城だとすると「あの分水嶺は理解し易い」ということは嘘でない fact2: もし仮にあの疼きが独占するならあの分水嶺は理解し易い fact3: あの疼きは独占するかもしくは高松城であるかまたはどちらもである ; $hypothesis$ = あの分水嶺は理解し易くない ; $proof$ = 
事実1: もしもあの疼きは高松城だとすると「あの分水嶺は理解し易い」ということは嘘でない
事実2: もし仮にあの疼きが独占するならあの分水嶺は理解し易い
事実3: あの疼きは独占するかもしくは高松城であるかまたはどちらもである

仮説: あの分水嶺は理解し易くない