the grading veneer does not occur but the genialness happens.
sent1: that the pro-lifeness occurs and the unrealisticness occurs leads to that the counting cranberry does not occur. sent2: that the stumbling norethynodrel occurs if the bushing occurs is not wrong. sent3: that the bush occurs is caused by that the mainness happens. sent4: the pro-lifeness occurs. sent5: the unrealisticness happens if the main does not occur. sent6: that both the destructiveness and the plain occurs prevents that the oophorosalpingectomy happens. sent7: the grading veneer does not occur and the genialness happens if the counting cranberry does not occur. sent8: the stumbling norethynodrel does not occur.
void -> assump1: Let's assume that the main happens.; sent3 & assump1 -> int1: the bushing happens.; int1 & sent2 -> int2: the stumbling norethynodrel happens.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mainness does not occur.; int4 & sent5 -> int5: the unrealisticness happens.; int5 & sent4 -> int6: the pro-lifeness and the unrealisticness happens.; int6 & sent1 -> int7: the counting cranberry does not occur.; int7 & sent7 -> hypothesis;
the fact that the grading veneer does not occur but the genialness happens is not correct.
 -> hypothesis;
$hypothesis$ = the grading veneer does not occur but the genialness happens. ; $context$ = sent1: that the pro-lifeness occurs and the unrealisticness occurs leads to that the counting cranberry does not occur. sent2: that the stumbling norethynodrel occurs if the bushing occurs is not wrong. sent3: that the bush occurs is caused by that the mainness happens. sent4: the pro-lifeness occurs. sent5: the unrealisticness happens if the main does not occur. sent6: that both the destructiveness and the plain occurs prevents that the oophorosalpingectomy happens. sent7: the grading veneer does not occur and the genialness happens if the counting cranberry does not occur. sent8: the stumbling norethynodrel does not occur. ; $proof$ = 
void -> assump1: Let's assume that the main happens.; sent3 & assump1 -> int1: the bushing happens.; int1 & sent2 -> int2: the stumbling norethynodrel happens.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mainness does not occur.; int4 & sent5 -> int5: the unrealisticness happens.; int5 & sent4 -> int6: the pro-lifeness and the unrealisticness happens.; int6 & sent1 -> int7: the counting cranberry does not occur.; int7 & sent7 -> hypothesis; __PROVED__