Se Carol telefona para Ricardo, então Ricardo vai encontrá- ...
Se Carol telefona para Ricardo, então Ricardo vai encontrá- -la. Se Ricardo vai encontrá-la, então Laís vai ao teatro. Se Laís vai ao teatro, então Raul telefona para Laís. Ora, Raul não telefona para Laís. Logo, é correto concluir que