Philosophy

1. G > (H > K)

2. (H v ~M) > ~K

3. H              /~G

II.

1. ~N > (~R > C)

2.  R > N

3. ~C            /N

III.

1. K > L

2. ~K v F

3. (L ^ F) > A

4. ~A                   /~K