5.8ex VI

Enter your own problems below. You may use all rules of SD+. The '/' shortcut works for rules of inference and may be a little help for rules of replacement.

(Save whenever you'd like. Each save produces a separate problem. Reset between problems.)