begin
 (P1 & P1 & P1 ) -> (P3 | P4);
 (P3 -> (!P2 | (P5 -> P6)));
 P6 | P7 | !P8
end