not the forbearance but the grazing occurs.
sent1: the fact that the prehensileness occurs is not wrong if the seesawing occurs. sent2: the electromechanicalness does not occur. sent3: the fact that the Mancunian occurs and the waving rapport occurs is not correct. sent4: the receding does not occur if the waving rapport happens. sent5: if the receding does not occur the fact that both the forbearance and the grazing occurs is not right. sent6: if the fact that the proctoscopy occurs and the forbearance occurs is false then the forbearance does not occur. sent7: that the Mancunian but not the waving rapport happens yields the seesawing. sent8: if both the Mancunianness and the waving rapport occurs then that the seesaw happens is not incorrect. sent9: the waving rapport does not occur. sent10: the accelerating expressway does not occur. sent11: if that the Mancunian but not the waving rapport happens is wrong then the receding does not occur. sent12: the fact that not the vigil but the shutout happens is not right. sent13: the accelerating expressway does not occur and the prehensileness does not occur. sent14: if the receding does not occur the fact that the forbearance does not occur but the grazing happens does not hold. sent15: the fact that the forbearance and the grazing occurs is not correct.
void -> assump1: Let's assume that the Mancunian occurs but the waving rapport does not occur.; sent7 & assump1 -> int1: the seesaw occurs.; int1 & sent1 -> int2: the prehensileness occurs.; sent13 -> int3: the prehensileness does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the Mancunian but not the waving rapport happens is wrong.; int5 & sent11 -> int6: the receding does not occur.; int6 & sent14 -> hypothesis;
the forbearance does not occur and the grazing happens.
$hypothesis$ = not the forbearance but the grazing occurs. ; $context$ = sent1: the fact that the prehensileness occurs is not wrong if the seesawing occurs. sent2: the electromechanicalness does not occur. sent3: the fact that the Mancunian occurs and the waving rapport occurs is not correct. sent4: the receding does not occur if the waving rapport happens. sent5: if the receding does not occur the fact that both the forbearance and the grazing occurs is not right. sent6: if the fact that the proctoscopy occurs and the forbearance occurs is false then the forbearance does not occur. sent7: that the Mancunian but not the waving rapport happens yields the seesawing. sent8: if both the Mancunianness and the waving rapport occurs then that the seesaw happens is not incorrect. sent9: the waving rapport does not occur. sent10: the accelerating expressway does not occur. sent11: if that the Mancunian but not the waving rapport happens is wrong then the receding does not occur. sent12: the fact that not the vigil but the shutout happens is not right. sent13: the accelerating expressway does not occur and the prehensileness does not occur. sent14: if the receding does not occur the fact that the forbearance does not occur but the grazing happens does not hold. sent15: the fact that the forbearance and the grazing occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the Mancunian occurs but the waving rapport does not occur.; sent7 & assump1 -> int1: the seesaw occurs.; int1 & sent1 -> int2: the prehensileness occurs.; sent13 -> int3: the prehensileness does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the Mancunian but not the waving rapport happens is wrong.; int5 & sent11 -> int6: the receding does not occur.; int6 & sent14 -> hypothesis; __DISPROVED__