Premise: Splashdown is a log flume located at Castles N' Coasters, a theme park in Phoenix, Arizona. It is noted for its two drops, as well as many other special features. The whole ride is themed after a logging expedition through Polynesia. Splashdown is also known for narrowly being dodged by the nearby Desert Storm roller coaster.
Hypothesis: Desert Storm must be in Phoenix if it is dodged by Splashdown.