あの無人は余儀無くない
fact1: 「整頓するし由々しいということはない」ものはある fact2: 仮になにがしかのものが整頓する一方で由々しいということはないならばあの無人は余儀無くない
$facts$ = fact1: 「整頓するし由々しいということはない」ものはある fact2: 仮になにがしかのものが整頓する一方で由々しいということはないならばあの無人は余儀無くない ; $hypothesis$ = あの無人は余儀無くない ; $proof$ = 
事実1: 「整頓するし由々しいということはない」ものはある
事実2: 仮になにがしかのものが整頓する一方で由々しいということはないならばあの無人は余儀無くない

仮説: あの無人は余儀無くない