((((([]p1\/[]p2)\/[]p3)\/[]p5)\/(((((((((((((<>(~p1/\[]p1)\/<>(~p1/\[]p3))\/F)\/(F\/F))\/((<>(~p3/\[]p1)\/<>(~p3/\[]p3))\/F))\/(F\/F))\/((<>(~p5/\[]p1)\/<>(~p5/\[]p3))\/F))\/(F\/F))\/(F\/F))\/(F\/(<>(~p4/\[]p2)\/<>(~p6/\[]p2))))\/(F\/F))\/(F\/(<>(~p4/\[]p4)\/<>(~p6/\[]p4))))\/(F\/F))\/(F\/(<>(~p4/\[]p6)\/<>(~p6/\[]p6)))))\/(((<><>~p2\/<><>~p4)\/<><>~p5)\/<><>~p6))