This is a subjective question, hence you have to write your answer in the Text-Field given below.
(Answer must be in your own hand-writing)
Construct a formal proof of validity for the following argument, using Strengthened Rule of Conditional Proof Method:
$(orall x)[Nx \supset Ox]$
$(orall x)[Px \supset Ox]$
$ herefore (orall x)[(Nx \lor Px) \supset Ox]$