LPL You Try It 6.1a: Conjunction Elimination

This goes through the "You Try It" exercise in Language, Proof, and Logic section 6.1, demonstrating conjunction elimination in Fitch.