推論系の手がかり数増加