In the spaces provided, translate the following valid arguments into SL and construct a proof for it.

If Austin didn't kick the shortstop with his spikes, then the pitcher wouldn't have hit Austin with a pitch. And if the pitcher hadn't hit Austin with a pitch, then the bench-clearing brawl wouldn't have happened. But the bench-clearing brawl did happen. So, Austin must've kicked the shortstop with his spikes.

Either Donald Trump will be removed from office, or Special Prosecutor Mueller will be fired. If the American people rise to Trump's defense, though, then Donald Trump won't be removed from office. Therefore, if the American people rise to Trump's defense, Special Prosecutor Mueller will be fired.