Using all 18 rules of logic construct a conditional proof using the following valid argument.

1. ~(X&Y).....................Premise

2. ~(Z&(YvW))../ Y>(~X&~Z)....Premise/Conclusion

.....3.