inverse proposition - German English Dictionary