the anopheline is prevented by the accelerating.
sent1: the autacoidalness does not occur. sent2: if the embrowning anchovy occurs then the masking som does not occur. sent3: if the fact that the aversion does not occur is true the translunarness and the electrosurgery happens. sent4: the embrowning niobium happens if the accelerating does not occur. sent5: the jamming probation and the stunting occurs. sent6: that the accelerating happens prevents the non-anophelineness. sent7: both the eligibleness and the hairiness occurs. sent8: the tyrannizing bioweapon does not occur if that both the tyrannizing bioweapon and the non-extraterritorialness happens is not right. sent9: the charades and the gastricness occurs. sent10: the embrowning pastoral and the translunarness occurs. sent11: that the accelerating occurs and the anophelineness occurs prevents that the embrowning pastoral happens. sent12: that the tyrannizing bioweapon does not occur causes that the stylization does not occur and the aversion does not occur. sent13: that the translunarness happens is not false. sent14: if the bedlessness occurs then the sop does not occur. sent15: the embrowning tachistoscope does not occur.
void -> assump1: Let's assume that the accelerating occurs.; void -> assump2: Let's assume that the anopheline occurs.; assump1 & assump2 -> int1: the accelerating happens and the anopheline happens.; int1 & sent11 -> int2: the embrowning pastoral does not occur.; sent10 -> int3: the embrowning pastoral happens.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the anopheline does not occur.; [assump1] & int5 -> hypothesis;
the embrowning niobium happens.
$hypothesis$ = the anopheline is prevented by the accelerating. ; $context$ = sent1: the autacoidalness does not occur. sent2: if the embrowning anchovy occurs then the masking som does not occur. sent3: if the fact that the aversion does not occur is true the translunarness and the electrosurgery happens. sent4: the embrowning niobium happens if the accelerating does not occur. sent5: the jamming probation and the stunting occurs. sent6: that the accelerating happens prevents the non-anophelineness. sent7: both the eligibleness and the hairiness occurs. sent8: the tyrannizing bioweapon does not occur if that both the tyrannizing bioweapon and the non-extraterritorialness happens is not right. sent9: the charades and the gastricness occurs. sent10: the embrowning pastoral and the translunarness occurs. sent11: that the accelerating occurs and the anophelineness occurs prevents that the embrowning pastoral happens. sent12: that the tyrannizing bioweapon does not occur causes that the stylization does not occur and the aversion does not occur. sent13: that the translunarness happens is not false. sent14: if the bedlessness occurs then the sop does not occur. sent15: the embrowning tachistoscope does not occur. ; $proof$ = 
void -> assump1: Let's assume that the accelerating occurs.; void -> assump2: Let's assume that the anopheline occurs.; assump1 & assump2 -> int1: the accelerating happens and the anopheline happens.; int1 & sent11 -> int2: the embrowning pastoral does not occur.; sent10 -> int3: the embrowning pastoral happens.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the anopheline does not occur.; [assump1] & int5 -> hypothesis; __PROVED__