the cover-up but not the tonguelessness happens if that the besieging Anoectochilus occurs is not false.
sent1: the trailing occurs and the besieging chump happens. sent2: the tonguelessness does not occur if the besieging Anoectochilus happens. sent3: if the fearfulness happens the fact that the economicsness occurs but the drumming does not occur hold. sent4: the stocktake happens and the propping emirate does not occur. sent5: if the uncreativeness does not occur the cover-up occurs but the tonguelessness does not occur. sent6: the vaginalness occurs and the nonfeasance does not occur if the besieging Anoectochilus does not occur. sent7: the people happens but the neighing does not occur if the gastrostomy happens. sent8: the convergence occurs and the impureness does not occur if the bowling linac occurs. sent9: the uncreativeness is prevented by that the besieging Anoectochilus and the dissolving occurs. sent10: the dissolving occurs. sent11: that the uncreativeness does not occur prevents the tonguelessness. sent12: the stocktake and the conformist occurs. sent13: the tonguelessness does not occur. sent14: the corinthianness occurs. sent15: the besieging mackinaw but not the selling occurs if the intrusiveness occurs.
void -> assump1: Let's assume that the besieging Anoectochilus occurs.; assump1 & sent10 -> int1: both the besieging Anoectochilus and the dissolving occurs.; sent9 & int1 -> int2: the uncreativeness does not occur.; sent5 & int2 -> int3: the cover-up and the non-tonguelessness occurs.; [assump1] & int3 -> hypothesis;
the vaginalness but not the nonfeasance occurs.
$hypothesis$ = the cover-up but not the tonguelessness happens if that the besieging Anoectochilus occurs is not false. ; $context$ = sent1: the trailing occurs and the besieging chump happens. sent2: the tonguelessness does not occur if the besieging Anoectochilus happens. sent3: if the fearfulness happens the fact that the economicsness occurs but the drumming does not occur hold. sent4: the stocktake happens and the propping emirate does not occur. sent5: if the uncreativeness does not occur the cover-up occurs but the tonguelessness does not occur. sent6: the vaginalness occurs and the nonfeasance does not occur if the besieging Anoectochilus does not occur. sent7: the people happens but the neighing does not occur if the gastrostomy happens. sent8: the convergence occurs and the impureness does not occur if the bowling linac occurs. sent9: the uncreativeness is prevented by that the besieging Anoectochilus and the dissolving occurs. sent10: the dissolving occurs. sent11: that the uncreativeness does not occur prevents the tonguelessness. sent12: the stocktake and the conformist occurs. sent13: the tonguelessness does not occur. sent14: the corinthianness occurs. sent15: the besieging mackinaw but not the selling occurs if the intrusiveness occurs. ; $proof$ = 
void -> assump1: Let's assume that the besieging Anoectochilus occurs.; assump1 & sent10 -> int1: both the besieging Anoectochilus and the dissolving occurs.; sent9 & int1 -> int2: the uncreativeness does not occur.; sent5 & int2 -> int3: the cover-up and the non-tonguelessness occurs.; [assump1] & int3 -> hypothesis; __PROVED__