the denying polypore does not occur if the walkover occurs.
sent1: the denying polypore occurs if the walkover happens. sent2: the smudge happens. sent3: the perviousness does not occur. sent4: if either the walkover occurs or the wattage happens or both then the denying polypore does not occur. sent5: if the wattage occurs then the denying polypore does not occur. sent6: the denying acropolis does not occur. sent7: if either the denying interphone occurs or the pitching NH happens or both then the geographicness does not occur. sent8: either the shoot-'em-up happens or the conserving occurs or both. sent9: that the wattage does not occur results in that the walkover and the semiparasiticness occurs.
void -> assump1: Let's assume that the walkover happens.; assump1 -> int1: the walkover happens or the wattage happens or both.; int1 & sent4 -> int2: the denying polypore does not occur.; [assump1] & int2 -> hypothesis;
the semiparasiticness occurs.
$hypothesis$ = the denying polypore does not occur if the walkover occurs. ; $context$ = sent1: the denying polypore occurs if the walkover happens. sent2: the smudge happens. sent3: the perviousness does not occur. sent4: if either the walkover occurs or the wattage happens or both then the denying polypore does not occur. sent5: if the wattage occurs then the denying polypore does not occur. sent6: the denying acropolis does not occur. sent7: if either the denying interphone occurs or the pitching NH happens or both then the geographicness does not occur. sent8: either the shoot-'em-up happens or the conserving occurs or both. sent9: that the wattage does not occur results in that the walkover and the semiparasiticness occurs. ; $proof$ = 
void -> assump1: Let's assume that the walkover happens.; assump1 -> int1: the walkover happens or the wattage happens or both.; int1 & sent4 -> int2: the denying polypore does not occur.; [assump1] & int2 -> hypothesis; __PROVED__