premise: Martin Bucer was born to German minority in Alsace, which historically belonged to the Holy Roman Empire.
hypothesis: Martin Bucer was born to German minority in Alsace, which historically belonged to the Holy Roman Empire, but now belongs to France.