この北側は読み易くない
fact1: 「進歩しないかまたは長職でないかまたは両方ともである」ものはある fact2: もしも「進歩しないかもしくは長職でない」物があるとすればあの北側は読み易い
$facts$ = fact1: 「進歩しないかまたは長職でないかまたは両方ともである」ものはある fact2: もしも「進歩しないかもしくは長職でない」物があるとすればあの北側は読み易い ; $hypothesis$ = この北側は読み易くない ; $proof$ = 
事実1: 「進歩しないかまたは長職でないかまたは両方ともである」ものはある
事実2: もしも「進歩しないかもしくは長職でない」物があるとすればあの北側は読み易い

仮説: この北側は読み易くない