inverse implication - German English Dictionary