Carlos é modelo ou Júlia mora em Recife; Júlia não é linda ou é modelo; Se Júlia for modelo, então mora no Rio de Janeiro; Júlia mora em Recife se, e somente se, não mora no Rio de Janeiro. Carlos não é modelo, então: