Boiling water with ice.

You know, I want to ask you - where is the question inside your post message? Because I can't see here any problem:

A-B. The pressure is the positive function of t of boiling; (considering D, the lower pressure the lower steam pressure, right?).
~B-~A. If a steam in a flask cools, then the pressure drop in the flask;
C-~B. If the flask is rotating, then it causes to contact the water with cool places; (Water which touches cool places is getting cold).
~B-D. Decreasing of steam to cool causes ? (here's something not too clear; I can't stand it good) water which contact the air to be at the lower pressure;
E. All above (A,B,C,D) causes to boil the water at a lower temperature (~B). So,

The facts:

- Water is boiled and there's no temperature gaining; (considering F) then the temperature in the flask starts to decreasing (~B).
- The flask is rotated (C);
- Ice is put to the flask (F); i.e. ~B and A.

Checking:

1. (C-~B)&(~B^A)&(~B-~A)-~B;
2. ~((~Cv~B)&~(Bv~A)&(BvA))v~B;
3. (~(~Cv~B)v~~(Bv~A)v~(BvA))v~B;
4. ((~~C^~~B)v(Bv~A)v(~B^~A))v~B;
5. ((C^B)v(~B^~A)vBv~A))v~B;
6. (Bv~B)v~B
7. Bv~B - the truth.

I can't be absolutely sure in my interpretation, because I do it fast and not accurate, but it seems to be correct at the glance.

P.S. I don't know whether you know the notation, so I explain it below:

a. "x-y" means "x implies y", or "if x, then y";
b. "x^y" means "the formula is true if and only if x and y are true";
c. "xvy" means "...is false if... x and y are false".