Derivation Example

This example is from page 204 of the 4th edition of The Logic Book.