¬{p¬{pA¬{p¬{p:¬{p¬{p;¬{p¬{p¬{p¬{p¬{pB¬{p,¬{pc¬{pa¬{p¬{p,¬{p¬{p¬{p¬{p?¬{p¬{pB¬{p¬{p¬{pA¬{pc¬{p:¬{p¬{p¬{p.¬{p¬{p¬{p!¬{p,¬{p¬{p:¬{p¬{p¬{p;¬{p¬{p?¬{p,¬{p?¬{pB¬{pA¬{p¬{pB¬{p:¬{p¬{p¬{p;¬{p;¬{p¬{p¬{p?¬{p:¬{p¬{pc¬{pc¬{p!¬{p¬{p¬{p¬{p¬{p;¬{p¬{p.¬{p¬{pa¬{p¬{p¬{pc¬{p¬{p¬{p¬{pa¬{p!¬{p¬{p¬{p,¬{p:¬{p¬{pA¬{pB¬{pB¬{p?¬{p¬{p!¬{p,¬{pA¬{p.¬{p¬{p¬{p?¬{p;¬{p¬{pc¬{p¬{p¬{p!¬{p