the lend-lease does not occur if the sponsorship occurs.
sent1: if that the adnexalness occurs hold then the sponsorship does not occur.
void -> assump1: Let's assume that the lend-lease happens.; assump1 -> int1: the lend-lease or the adnexalness or both occurs.;
$hypothesis$ = the lend-lease does not occur if the sponsorship occurs. ; $context$ = sent1: if that the adnexalness occurs hold then the sponsorship does not occur. ; $proof$ = 
void -> assump1: Let's assume that the lend-lease happens.; assump1 -> int1: the lend-lease or the adnexalness or both occurs.; __UNKNOWN__