Возможно ли заматовать голого короля четырьмя конями?

Я играл в шахматы против компьютера, и в конце у меня остались три пешки и конь, а у противника голый король. Я сделал коней, чтоб посмотреть, справятся ли они с задачей вчетвером. Но комп выдал "ничью ввиду нехватки фигур". Был ли он прав, или на деле его позиция была проигрышной?