1.Cnfrm

2.Mn.Wrld→FmtvWrld

3.p.DF

4.r.DF

5.(A1→).Flw

6.(B1→).Flw

7.Dcsn_¬abl.Str.DF

8.｢¬@Prvbl(g)｣.Prf

9.｢¬@Prvbl(~¬(g)~)｣.Prf

10.Prf(FmtvSys｢P｣=(¬Cmplt))