premise: Deep Eddy Pool is a historic, man-made swimming pool in Austin, Texas. Deep Eddy is the oldest swimming pool in Texas and features a bathhouse built during the Depression era by the Works Progress Administration. The pool began as a swimming hole in the Colorado River, became a resort in the 1920s, and is today a popular swimming pool operated by the City of Austin.
hypothesis: A historic, man made swimming pool located in the Colorado River has the comical nickname of "Deep Eddy".
reason: Deep Eddy is in the Colorado River and the system may not recognize the name as comical.