both the page and the bothering occurs.
sent1: if the supererogation occurs the fact that the paging happens is not wrong. sent2: if the rise occurs then the supererogation happens. sent3: the outstaring brushwood does not occur. sent4: that the outstaring brushwood does not occur yields that both the couvade and the restraining Edison happens. sent5: if the insignificantness occurs then that not the court but the outstaring brushwood occurs is not right. sent6: if the restraining Edison does not occur then that the page occurs and the bothering occurs is not correct. sent7: that the rise does not occur but the couvade happens prevents the non-geodeticness. sent8: the fact that if the rising does not occur then that both the blowout and the bilabialness occurs does not hold is not false. sent9: that the bothering and the courting happens is triggered by that the insignificantness does not occur. sent10: if that the blowout occurs and the bilabialness happens is not true then the couvade does not occur.
void -> assump1: Let's assume that the rise does not occur.; sent8 & assump1 -> int1: the fact that the blowout happens and the bilabial occurs does not hold.; int1 & sent10 -> int2: the couvade does not occur.; sent4 & sent3 -> int3: the couvade happens and the restraining Edison occurs.; int3 -> int4: the couvade occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rising happens.; int6 & sent2 -> int7: the supererogation happens.; int7 & sent1 -> int8: the page happens.;
the geodeticness occurs.
$hypothesis$ = both the page and the bothering occurs. ; $context$ = sent1: if the supererogation occurs the fact that the paging happens is not wrong. sent2: if the rise occurs then the supererogation happens. sent3: the outstaring brushwood does not occur. sent4: that the outstaring brushwood does not occur yields that both the couvade and the restraining Edison happens. sent5: if the insignificantness occurs then that not the court but the outstaring brushwood occurs is not right. sent6: if the restraining Edison does not occur then that the page occurs and the bothering occurs is not correct. sent7: that the rise does not occur but the couvade happens prevents the non-geodeticness. sent8: the fact that if the rising does not occur then that both the blowout and the bilabialness occurs does not hold is not false. sent9: that the bothering and the courting happens is triggered by that the insignificantness does not occur. sent10: if that the blowout occurs and the bilabialness happens is not true then the couvade does not occur. ; $proof$ = 
void -> assump1: Let's assume that the rise does not occur.; sent8 & assump1 -> int1: the fact that the blowout happens and the bilabial occurs does not hold.; int1 & sent10 -> int2: the couvade does not occur.; sent4 & sent3 -> int3: the couvade happens and the restraining Edison occurs.; int3 -> int4: the couvade occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rising happens.; int6 & sent2 -> int7: the supererogation happens.; int7 & sent1 -> int8: the page happens.; __UNKNOWN__