M ∧ (S ∧ W)
1 Ext
M
M ∧ (S ∧ W)
1 Ext
S ∧ W
M ∧ (S ∧ W)
1 Ext
S ∧ W
2 Ext
S
2 Ext
W
M
W
3 Cnj
M ∧ W
M ∧ (S ∧ W)
1 Ext
M
M ∧ (S ∧ W)
1 Ext
S ∧ W
2 Ext
W
4 QED
5 QED
?
?
?
conclusion tree
•
1
•
2
•
3
•
4
•
5
•