if the menstrualness happens then the glorification does not occur and the splenicness does not occur.
sent1: the biliariness does not occur. sent2: if the cuticularness does not occur the fact that the galacticness and the warm-up happens is not right. sent3: the microeconomicness does not occur. sent4: if that both the meaningfulness and the personalness happens is false the bellowing does not occur. sent5: the glorification does not occur and the biliariness does not occur if the menstrualness happens. sent6: the fronting serviceability does not occur. sent7: the timing does not occur. sent8: the well does not occur. sent9: the housework does not occur and the aeriferousness does not occur. sent10: the fact that the Hinduness and the radiopaqueness occurs is not right if the timing does not occur. sent11: the fact that the impassableness happens and the scumble occurs is not true. sent12: if the menstrualness occurs the fact that the biliariness does not occur hold. sent13: if the fact that the fact that the Hindu and the radiopaqueness happens is not correct is not incorrect the splenicness does not occur. sent14: the meaningfulness does not occur. sent15: the confusing Woden occurs. sent16: that both the detachableness and the regionalness happens does not hold. sent17: if the Hinduness does not occur then the splenicness does not occur.
void -> assump1: Let's assume that the menstrualness occurs.; sent5 & assump1 -> int1: the glorification does not occur and the biliariness does not occur.; int1 -> int2: that the glorification does not occur is not incorrect.; sent10 & sent7 -> int3: the fact that both the Hinduness and the radiopaqueness occurs is not right.; sent13 & int3 -> int4: the splenicness does not occur.; int2 & int4 -> int5: the glorification does not occur and the splenicness does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the menstrualness happens then the glorification does not occur and the splenicness does not occur. ; $context$ = sent1: the biliariness does not occur. sent2: if the cuticularness does not occur the fact that the galacticness and the warm-up happens is not right. sent3: the microeconomicness does not occur. sent4: if that both the meaningfulness and the personalness happens is false the bellowing does not occur. sent5: the glorification does not occur and the biliariness does not occur if the menstrualness happens. sent6: the fronting serviceability does not occur. sent7: the timing does not occur. sent8: the well does not occur. sent9: the housework does not occur and the aeriferousness does not occur. sent10: the fact that the Hinduness and the radiopaqueness occurs is not right if the timing does not occur. sent11: the fact that the impassableness happens and the scumble occurs is not true. sent12: if the menstrualness occurs the fact that the biliariness does not occur hold. sent13: if the fact that the fact that the Hindu and the radiopaqueness happens is not correct is not incorrect the splenicness does not occur. sent14: the meaningfulness does not occur. sent15: the confusing Woden occurs. sent16: that both the detachableness and the regionalness happens does not hold. sent17: if the Hinduness does not occur then the splenicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the menstrualness occurs.; sent5 & assump1 -> int1: the glorification does not occur and the biliariness does not occur.; int1 -> int2: that the glorification does not occur is not incorrect.; sent10 & sent7 -> int3: the fact that both the Hinduness and the radiopaqueness occurs is not right.; sent13 & int3 -> int4: the splenicness does not occur.; int2 & int4 -> int5: the glorification does not occur and the splenicness does not occur.; [assump1] & int5 -> hypothesis; __PROVED__