This page allows you to work your own derivations. Fill in the following with your own premises. Then complete the derivation of the desired goal. You may use any rule from SD or PD.

You may use the standard PD typing shortcuts.