閱讀下面的文段按要求完成后面的題目。
      公元前663年，齊桓公率領大軍討伐孤竹國。這場戰(zhàn)爭從春季開始，結束時已是冬季，山川草木都變了樣，齊軍不熟悉地形，返回途中迷失了方向。齊桓公十分著急，這時，管仲獻計說：“老馬是認識道路的，可以讓軍隊里的那幾匹老馬為我們帶路。”齊桓公依計而行，齊軍跟在老馬后面，果然找到了出路。后來隊伍進到山中，沒有水喝，齊桓公一籌莫展。這時大臣隰朋說：“螞蟻冬天時住在山的南面，夏天時住在山的北面。不管在哪里，螞蟻總是在水源上方筑巢?，F(xiàn)在這里有螞蟻窩，我們找找看，是否能找到水源?！饼R桓公聽了十分驚奇，命令士兵挖掘，果然挖出了水。
      文段中，管仲借老馬尋找道路，從邏輯上講，用的是三段論推理。其推理過程如下：
      老馬是認識路的，這幾匹馬是老馬，所以這幾匹馬是認識道路的。
      文段中，隰朋找水也運用了同樣的推理方法，請仿照管仲尋找道路的推理過程，寫出隰朋找水的邏輯推理過程。
①

螞蟻總是在水源上方筑巢

螞蟻總是在水源上方筑巢

，
②

這里有螞蟻窩

這里有螞蟻窩

，
③

所以這里有水源

所以這里有水源

。