この回復後は過不足無くない
fact1: この回復後は厚い fact2: 仮にこの回復後が厚いとすると過不足無い
$facts$ = fact1: この回復後は厚い fact2: 仮にこの回復後が厚いとすると過不足無い ; $hypothesis$ = この回復後は過不足無くない ; $proof$ = 
事実1: この回復後は厚い
事実2: 仮にこの回復後が厚いとすると過不足無い

仮説: この回復後は過不足無くない