Consider the following sequence of propositions to be true: If Fred is a police officer, then he has a gun permit. Fred lives in São Paulo or he is...

Consider the following sequence of propositions to be true: If Fred is a police officer, then he has a gun permit. Fred lives in São Paulo or he is an engineer. If Fred is an engineer, then he does structural calculations. Fred does not have a gun permit. If Fred lives in São Paulo, then he is a police officer. In this case, is it correct to infer that the proposition 'Fred does not live in São Paulo' is a true conclusion based on this sequence?

Se Fred é policial, então ele tem porte de arma.
Fred mora em São Paulo ou ele é engenheiro.
Se Fred é engenheiro, então ele faz cálculos estruturais.
Fred não tem porte de arma.
Se Fred mora em São Paulo, então ele é policial.
a) A proposição 'Fred é engenheiro' é verdadeira.
b) A proposição 'Fred faz cálculos estruturais' é verdadeira.
c) A proposição 'Fred é policial' é falsa.
d) A proposição 'Fred mora em São Paulo' é verdadeira.
e) A proposição 'Fred does not live in São Paulo' é uma conclusão verdadeira com base nessa sequência.