Uma sentença logicamente equivalente a ''Se Roberto e carioca, então ele é trabalhador" e:
Olá, para continuar, precisamos criar uma conta! É rápido e grátis.
