the fact that if the expensing lapful occurs the expensing Elamitic occurs is not correct.
sent1: that the oscine happens prevents that the annelid does not occur. sent2: the expensing strain occurs. sent3: the expendableness happens. sent4: that the expensing Elamitic does not occur is prevented by that the foliaceousness occurs. sent5: the cryonicsness does not occur. sent6: that both the expensing lapful and the non-cryonicsness happens results in the foliaceousness. sent7: if the future happens the enticement occurs.
void -> assump1: Let's assume that the expensing lapful occurs.; assump1 & sent5 -> int1: the expensing lapful but not the cryonicsness happens.; sent6 & int1 -> int2: the foliaceousness occurs.; sent4 & int2 -> int3: that the expensing Elamitic occurs is true.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if the expensing lapful occurs the expensing Elamitic occurs is not correct. ; $context$ = sent1: that the oscine happens prevents that the annelid does not occur. sent2: the expensing strain occurs. sent3: the expendableness happens. sent4: that the expensing Elamitic does not occur is prevented by that the foliaceousness occurs. sent5: the cryonicsness does not occur. sent6: that both the expensing lapful and the non-cryonicsness happens results in the foliaceousness. sent7: if the future happens the enticement occurs. ; $proof$ = 
void -> assump1: Let's assume that the expensing lapful occurs.; assump1 & sent5 -> int1: the expensing lapful but not the cryonicsness happens.; sent6 & int1 -> int2: the foliaceousness occurs.; sent4 & int2 -> int3: that the expensing Elamitic occurs is true.; [assump1] & int3 -> hypothesis; __DISPROVED__