Se Bruna vai ao teatro com Gabriela, então Gabriela vai à praia. Se Gabriela vai à praia, então Carmem vai ao trabalho. Se Carmem vai ao trabalho, então Rita vai ao teatro com Carmem. Ora, Rita não vai ao teatro com Carmem, logo: