Consider the following list of premises:

a ^ :b ! c; :a ! :d; Show that g is a valid conclusion by constructing a step-by-step argument