Se Maria sai de férias para Manaus, Antônio fica em casa com Joana. Se Antônio fica
em casa com Joana, Lisa vai ao cinema com André. Se Lisa vai ao cinema com André, Carlos e Raí
jogam futebol aos sábados. Se Carlos e Raí jogam futebol aos sábados, Cristina sai de férias para
Santa Catarina. Considerando que Cristina não sai de férias para Santa Catarina, é correto afirmar
que: