Se Cristian é ambientalista, então José não é sociólogo. Ou José é sociólogo, ou Mauro é biólogo. Se Mauro não é biólogo, então Cristian é ambientalista. Sabendo que Cristian não é ambientalista, pode-se afirmar corretamente que: