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

螞蟻總是在水源上方筑巢

螞蟻總是在水源上方筑巢

，
②

這里有螞蟻窩

這里有螞蟻窩

，
③

所以這里有水源

所以這里有水源

。