I would like to know if this can be proven
I am attempting to prove G with these premises:
1. (-K and -N) > [(-P>K) and (-R>G)]
3. -N and B
4. -P v -R
I am not sure if the premises are enough to allow the solver to prove the solution or if there should be additional premises. A response would be appreciated!