Se Franco é francês, então Adam não é alemão. Ou Adam é alemão, ou Elder é espanhol. Se Paulo não é português, então Franco é francês. Ora, Elder não é espanhol. Logo:
Se Adam é alemão, Franco é francês.
Elder é espanhol ou Franco é francês.
Paulo é português e Adam é alemão.
Paulo não é português e Aldo é alemão.
Paulo é português e Franco é francês.
