A municipal legal analyst is constructing a formal proof to demonstrate that if the city's Annual Arts Festival takes place this year, then the Mayor must not have signed the controversial Riverfront Zoning Act. The analyst relies on the following established municipal facts:
- The Mayor signs the Riverfront Zoning Act only if the Riverside Corporation initiates the condo project.
- The Riverside Corporation initiates the condo project only if they receive a property tax exemption.
- Any property tax exemption granted to developers requires the city to reduce its discretionary spending.
- Whenever the city reduces its discretionary spending, the Parks Maintenance Budget is eliminated.
- The Annual Arts Festival takes place only if the Parks Maintenance Budget is not eliminated.
Arrange the following intermediate deductions in the logically valid sequence that bridges the given premise 'The Annual Arts Festival is taking place' to the final conclusion 'The Mayor did not sign the Riverfront Zoning Act'.
- 1Because the Annual Arts Festival is taking place, the necessary condition for it must be met, meaning the Parks Maintenance Budget remains intact.
- 2Given that the Parks Maintenance Budget remains intact, the sufficient condition for its elimination cannot have occurred, so the city did not reduce its discretionary spending.
- 3Since the city avoided reducing its discretionary spending, the prerequisite for granting developers a property tax exemption was not fulfilled.
- 4The absence of a property tax exemption guarantees that the necessary requirement for the Riverside Corporation's condo project was not met, meaning the project is not initiated.
- 5Without the condo project being initiated, the condition required for the Mayor to sign the Riverfront Zoning Act is absent, proving the Act was not signed.