│M ∧ (S ∧ W)1
├─
1 Ext│M(4)
1 Ext│S ∧ W2
2 Ext│S
2 Ext│W(5)
│
││●?
│├─
4 QED││M?3
│       ?
││●?
│├─
5 QED││W3
├─
3 Cnj│M ∧ W
derivation
• 1 • 2 • 3 • 4 • 5 •