Se todo professor é graduado e todo graduado é contratado, então é correto afirmar que:
Todo contratado é professor
Todo graduado é professor
Não pode haver contratado que é professor
Não pode haver contratado que não é graduado
Pode haver professor que não é contratado