Questão de Raciocínio Lógico

Miguel, Helena e Ravi participaram de uma dinâmica a respeito dos signos do zodíaco. Cada um deles pertencia exatamente a um dos seguintes signos: áries; leão; e peixes. Nenhum signo era compartilhado por mais de uma pessoa. Desse modo, sabe‑se que são verdadeiras as seguintes proposições: • se Miguel não é de leão, então Helena é de áries; • se Helena não é de áries, então Ravi é de peixes; • Miguel não é de áries; e • Ravi não é de leão.