1. ~(~Rv~S)
2.~Mv~~N
1. ~~R&~~S
2. ~R&~S
3. ~MvN
4. R&S
1. ~S→~T
2.~(~S→W)
1. ~S&~W
2. S→W
3. ~~S&~W
4. ~S
1. ~(~A→B)
2.~~A→(CvD)
1. ~A&~B
2. ~~A&~B
3. ~Av~B
4. A→(CvD)
1. ~(~R&S)
2.~~Tv(W→Z)
1. ~~Rv~S
2. ~T&~(W→Z)
3. Tv(W→Z)
4. ~Rv~S
1. ~(A&B)→C
2.~((C&D)&E)
1. ~(C&D)v~E
2. ~C&Dv~E
3. (~Cv~D)&~E
4. (A&B)&~C
1. ~((A&B)→C)
2.~(R&S)→T
1. (A&B)&~C
2. ~(A&B)&~C
3. (R&S)&~T
4. (R&S)→~T
1. ~((RvS)vT)
2.~(MvN)→W
1. ~(RvS)&~T
2. ~~(RvS)&~T
3. (~R&~S)&~T
4. (MvN)&~W
1. ~(D&E)→Z
2.~((MvN)→S)
1. (MvN)&~S
2. (D&E)&~Z
3. ~(MvN)&~S
4. ~(D&E)&~Z
1. ~~(A&~B)
2.~(AvC)v~D
1. A&~B
2. ~(AvC)&~~D
3. ~~Av~~~B
4. (~A&~C)v~~D
1. ~(R↔(SvT))
2.~~(M&(RvS))
1. M&(RvS)
2. ~Mv~(RvS)
3. ~R&~(SvT)
4. ~(R→(SvT))&~((SvT)→R)
1. A→~B
2. BvC
3. ~~B
1. ~A
2. C
3. A
4. ~C
1. M→N
2. Mv~N
3. ~N
1. ~M
2. M
3. ~~M
4. ~~N
1. D→~E
2. FvE
3. ~E
1. F
2. ~F
3. D
4. ~D
1. R→S
2. Rv~S
3. ~R
1. ~S
2. ~~S
3. S
4. ~~R
1. ~Bv~C
2. ~B→D
3. ~~B
1. ~C
2. ~D
3. D
4. ~~C
1. ~R→A
2. B→~R
3. ~~R
1. ~B
2. A
3. B
4. ~A
1. ~Mv~N
2. ~R→N
3. ~N
1. ~~R
2. R
3. ~M
4. ~~M
1. (RvS)→(T&W)
2. R
3. M→R
1. RvS
2. M
3. ~~R
4. ~M
1. T→~S
2. (~Sv~N)→W
3. ~S
1. ~Sv~N
2. T
3. ~T
4. W
1. (MvN)vR
2. M
3. (Mv~T)→~R
1. Mv~T
2. MvN
3. ~R
4. MvN
1. ~(Rv~S)→W
2. ~S
3. (Tv~S)→M
1. Tv~S
2. Rv~S
3. ~SvT
4. ~(Rv~S)
1. (~Rv(J&K))→N
2. R→(S&T)
3. ~R
4. (ZvW)v~R
1. ~Rv(J&K)
2. ~(S&T)
3. ZvW
4. ~(ZvW)
1. (M&N)→~B
2. ~Bv(E&F)
3. ~B
4. ((S→T)v~B)→W
1. (S→T)v~B
2. E&F
3. M&N
4. ~(M&N)
1. ~(T→S)→~D
2. Rv~D
3. (~(M&N)v~D)→S
4. ~D
1. ~(M&N)v~D
2. (M&N)v~D
3. R
4. ~~(T→S)
1. ~(AvB)↔(R&S)
2. ~(RvS)→~Z
3. ~Z
1. ~(AvB)→(R&S)
2. (RvS)&~~Z
3. ~~(RvS)
4. (RvS)&~~Z
1. ~(MvN)→~R
2. ~A↔(~R→~S)
3. MvN
1. ~A→(~R→~S)
2. ~~R
3. ~M&~N
4. (MvN)&~~R
1. (A↔B)→~C
2. A→B
3. ~(R↔S)
4. B→A
1. A↔B
2. ~(R→S)&~(S→R)
3. ~R&~S
4. ~Rv~S
1. ~E→(CvD)
2. ~C
3. ((CvD)↔~E)→M
4. (CvD)→~E
1. (CvD)↔~E
2. M
3. ~Cv~D
4. ~CvD
1. T→~(R&S)
2. Tv~(S&R)
3. ~(R&S)→T
4. (~(R&S)↔T)→N
1. ~(R&S)↔T
2. ~T
3. S&R
4. T
1. (MvN)v~(R↔T)
2. ~M
3. R→T
4. ~(R↔T)→M
1. ~~(R↔T)
2. ~(R↔T)
3. MvN
4. ~MvN
1. A→~T
2. Av~B
3. R→~B
4. ~B→~T
1. ~T
2. A
3. ~R
4. ~B
1. (S→T)→~M
2. ~S→T
3. Rv(S→T)
4. R→~M
1. ~M
2. R
3. T
4. ~R
1. ~(AvB)→(NvM)
2. C→(NvM)
3. ~NvM
4. ~(AvB)vC
1. NvM
2. ~N
3. ~C
4. ~~(AvB)
1. ~Av~Z
2. ~Z→~(M→N)
3. ~M→N
4. ~A→~(M→N)
1. ~(M→N)
2. ~M→N
3. ~~A
4. ~~Z
1. RvS
2. R→~M
3. S→~Z
4. ~~M
1. ~R
2. ~M
3. ~Z
4. S
1. ~T→~N
2. (T→~N)→~S
3. ~(~R→W)
4. ~S
1. ~R&~W
2. ~(T→~N)
3. T→~N
4. ~S
1. ~(MvN)v~R
2. ~R→T
3. MvN
4. T→(MvN)
1. ~~(MvN)
2. ~R
3. T
4. ~T
1. ~R→~S
2. S
3. SvT
1. ~~S
2. ~~R
3. T
4. ~R
1. ~~M→(AvB)
2. M
3. (R&S)→M
1. ~~M
2. R&S
3. AvB
4. ~(R&S)
1. A
2. C→A
3. ~AvB
1. ~~A
2. ~C
3. B
4. C
1. (N&M)v~S
2. RvS
3. S
1. ~~S
2. R
3. N&M
4. ~(N&M)
1. R→S
2. Tv~(R→S)
3. T→~W
4. ~W→~S
1. ~~(R→S)
2. T
3. W&~S
4. ~W&~S
1. ~A→(B↔C)
2. ~C
3. ~(B↔C)
4. ~B
1. ~~A
2. ~Bv~C
3. ~B&~C
4. ~A
1. ~(S↔T)
2. T→~(R&S)
3. ~R→(S↔T)
4. ~(S↔T)vM
1. ~~R
2. M
3. ~M
4. ~(S→T)&~(T→S)
1. (MvN)v~S
2. ~~S
3. (RvZ)v~T
4. ~T
1. MvN
2. RvZ
3. ~(RvZ)
4. ~(MvN)
1. A→~(BvC)
2. B
3. ~M→(BvD)
1. BvC
2. BvD
3. ~A
4. ~(BvD)
1. ~E→~(SvT)
2. D
3. S
4. ~E→(DvE)
1. SvT
2. DvE
3. ~(DvE)
4. ~E
1. M
2. S
3. ~(WvN)v(RvS)
4. ~(MvN)vT
1. MvN
2. RvS
3. T
4. ~(WvN)&~(RvS)
1. ~R
2. ~(~Rv~D)→~C
3. ~C→~(AvB)
4. B
1. AvB
2. ~Rv~D
3. ~C
4. C&~~(AvB)
1. ~(N&M)v~(DvE)
2. N
3. D
1. DvE
2. NvM
3. ~(N&M)&~~(DvE)
4. N&D
1. (R→S)→~T
2. Tv~N
3. ~~T
4. ~T→W
1. ~(R→S)
2. ~N
3. T&~W
4. ~W

If these are the first lines of a proof, what would be the most appropriate line to create next?