Die Linsen in ein Sieb geben und mit kaltem Wasser waschen. Das Rindergulasch am besten vorher noch kleiner schneiden. 2 EL Öl in einem Schnellkochtopf stark erhitzen und das Gulasch darin in 2-3 Portionen scharf anbraten, sodass es etwas bräunt. Darauf achten, dass man nur kleine Portionen anbrät, da sonst zu viel Fleischsaft austritt. Das angebratene Fleisch beiseite stellen. In dem Bratsatz mit wenig Öl die Pinienkerne kurz anrösten, das geht sehr schnell, und die Kerne ebenfalls beiseite stellen.

3 EL Öl in den Topf geben und bei mittlerer Hitze Ingwer, Zwiebeln, und je die Hälfte von Karotten, Lauch und Sellerie ca. 3 Minuten anbraten. Kurkuma und beide Currypulver zugeben und weitere 3 Minuten unter ständigem Rühren rösten. Jetzt die Linsen dazugeben und weiter rühren. Nach ca. 5 Minuten die geschälten Tomaten und das angebratene Rindfleisch mitsamt dem ausgetretenen Fleischsaft dazugeben und mit so viel Gemüsebrühe aufgießen, dass alles von der Brühe knapp bedeckt ist.

Den Schnellkochtopf verschließen und 30 Minuten kochen. Langsam abdampfen. Den Schnellkochtopf öffnen, die Pinienkerne dazugeben, das restliche Gemüse (Karotten, Sellerie und Lauch) ebenfalls und geöffnet ca. 10 Minuten köcheln lassen. Mit Zitronensaft, Salz und Chilipulver abschmecken. Vor dem Servieren die Petersilie hacken und frisch untermischen.