How do I Apply Conditional Elimination to Create a Goal?

A demo of conditional elimination being applied to create a goal.

WARNING: This is an advanced technique that may create a new goal; that goal may be unprovable—use only as needed!