根據(jù)三段論的邏輯推理方法，進行簡單推理。
      三段論是人類最基本的邏輯推理方法，包括大前提、小前提和結論三個部分的論證。例如：
      大前提：凡是人都會死；
      小前提：蘇格拉底是人；
      結論：所以蘇格拉底也是會死的。
      據(jù)《韓非子?說林上》中記載，公元前663年，齊桓公率領大軍援助燕國攻打孤竹國。戰(zhàn)爭從春季開始，凱旋時已是冬天?；貋淼耐局校犖樾羞M到山里，幾天都找不到水源，大家口渴難熬，齊桓公一籌莫展。這時，大臣隰朋建議說：我聽說，螞蟻冬天筑巢穴在山的南面，夏天筑巢穴于山的北面。不管在哪里，螞蟻總是在水源上面筑巢穴。現(xiàn)在這里就有螞蟻窩，我們找找看，是否能找到水源。齊桓公聽了十分驚奇，命令士兵們挖掘，果然挖出了水。齊桓公十分贊嘆隰朋的聰明才智。
      請根據(jù)所給參考示例，寫出隰朋找水的三段論邏輯推理過程。
①大前提：

螞蟻總是在水源上面筑巢穴

螞蟻總是在水源上面筑巢穴

；
②小前提：

現(xiàn)在這里就有螞蟻窩

現(xiàn)在這里就有螞蟻窩

；
③結論：

下面肯定有水源

下面肯定有水源

。