colmar is now in france but was then part of the holy roman empire hanyuma bagaruka i yeruzalemu n'iminyago itagira ingano material implication allows a true consequent to follow from a false antecedent