!(Ax Ez Aw (x+4y-3z-5w==0 || x-2y+z!=5) -> Ax Es Az Eu Av x-3y-2z-2u+5v-6t+s<3)