Raciocínio Lógico — pontuação

Paulo e sua esposa Maria são políticos e pretendem se candidatar a cargos eletivos nas próximas eleições. Em uma conversa em família, eles decidiram que: Maria se candidatará ao cargo de deputado estadual se, e somente se, Paulo não se candidatar ao cargo de deputado estadual; se Paulo não se candidatar ao cargo de deputado estadual, então ele se candidatará ao cargo de deputado federal ou senador; Paulo se candidatará ao cargo de senador se, e somente se, seu irmão o ajudar financeiramente na campanha eleitoral.De acordo com essas decisões, se Paulo não se candidatar ao cargo de deputado estadual nem ao de senador, então, necessariamente,