31 Name: ⊂二二二（ ＾ω＾）二二二⊃ : 1993-09-4713 08:56 [Del]
premise: it carries out and is w
question: if one such is carried out, and is it w?
---------------------------
1- it carries out (Conjunction Elimination)
2- is w Conjunction Elimination)
3- if one such is carried out, and is it w (Hypothesis)
4- it is w (Modus ponens 1, 3)
3- it's not that it doesn't carries out (Double negation introduction (1))
4- it's not that it doesn't carries out, and it is w
5- it's not that it carries out and it is not w (Reductio ad absurdum, 4)
6- it is not w (Modus ponens 1, 5)
-----------------
it is w and it is not w (Conjunction introduction, 4,6)
So the answer to question is: No.