premise:  Opera Ireland (formerly the Dublin Grand Opera Society) offers short spring and winter seasons based on the standard repertoire at the Gaiety Theatre in King Street.
hypothesis: The Gaiety Theatre has a capacity of 50,000 people.