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: