1.) (L=N) > C

2.) (L=N) v (P>~E)
3.) ~E > C
4.) ~C /~P