Se ponen los garbanzos a remojo en agua con un poco de sal.
En la olla, echamos un chorrito de aceite, la cebolla muy picada, la zanahoria cortada en rodajas finas, el pimiento rojo en trozos pequeños y una cucharada de pimentón.
Sofreímos durante 10 minutos para que se mezclen bien los sabores y retiramos.
Añadimos los garbanzos, los ajos, el laurel, las setas en trocitos, la sal y un litro de agua aproximadamente, lo dejamos cocer unos 20 minutos.
Destapamos, comprobamos el caldo y la sal, rectificamos si hace falta y lo volvemos a dejar cociendo con la olla destapada otros 10 minutos.