LPL You Try It 13.1b: Universal Quantifier Rules for Proofs

This goes through the second "You Try It" exercise in Language, Proof, and Logic section 13.1 on the universal quantifier rules for proofs.