se José é professor, então, Carlos é motorista.

se José não é professor, então, Ana não é bailarina.

se Carlos não é motorista, então, Ana não é bailarina.

se Carlos não é motorista, então, José não é professor.

se Ana não é bailarina, então, Carlos é motorista.