mnli premise:  In the summer months a Discobus runs from Ibiza Town (from around 11:00 p.m. ) to some of the major clubs, so you don't have to drive. hypothesis: You have the choice of taking a bus to clubs in June.