Convert the following sentences into propositional form. Put into sequent form
and then apply the rules of Wang's algorithm.
Prove: The narcoleptic nutria is newly nidicolous (N) or the mouflon is massively
mendacious (M).
Given:
If the lapidarian is liltingly lyrical (L) & the mouflon is not massively mendacious
then the narcoleptic nutria is newly nidicolous.
If the narcoleptic nutria is newly nidicolous then the mouflon is not massively mendacious.
The lapidarian is liltingly lyrical.