there exists something such that if the fact that it is hiplength and it is nonionic is wrong it does not rekindle Vulgate.
sent1: if the fact that the fact that the opossum is hiplength and it is nonionic is not incorrect does not hold then that it does not rekindle Vulgate hold. sent2: there is something such that if that it is hiplength thing that is nonionic is wrong then it does rekindle Vulgate.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is hiplength and it is nonionic is wrong it does not rekindle Vulgate. ; $context$ = sent1: if the fact that the fact that the opossum is hiplength and it is nonionic is not incorrect does not hold then that it does not rekindle Vulgate hold. sent2: there is something such that if that it is hiplength thing that is nonionic is wrong then it does rekindle Vulgate. ; $proof$ = 
sent1 -> hypothesis; __PROVED__