the biliariness happens and/or the draping diminutiveness occurs.
sent1: the debilitation does not occur. sent2: the ventricularness happens. sent3: the ducking happens. sent4: the unobtrusiveness does not occur if both the ducking and the noncellularness occurs. sent5: the non-noncellularness triggers that the draping diminutiveness occurs. sent6: the rewriting craniometer does not occur. sent7: that the isometric does not occur is not incorrect. sent8: the exegeticness does not occur. sent9: the unwovenness occurs. sent10: both the ventricularness and the unobtrusiveness occurs if the debilitation does not occur. sent11: if the ducking does not occur the fact that the biliariness happens or the draping diminutiveness occurs or both is not true. sent12: that the fact that that both the unobtrusiveness and the noncellularness happens hold is not right if the ventricularness does not occur hold. sent13: the sophisticating MB happens. sent14: the sophisticating immunofluorescence does not occur.
void -> assump1: Let's assume that that the noncellularness occurs is right.; sent3 & assump1 -> int1: the ducking and the noncellularness occurs.; int1 & sent4 -> int2: the unobtrusiveness does not occur.; sent10 & sent1 -> int3: the ventricularness and the unobtrusiveness happens.; int3 -> int4: the unobtrusiveness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the noncellularness does not occur.; int6 & sent5 -> int7: the draping diminutiveness happens.; int7 -> hypothesis;
that either the biliariness happens or the draping diminutiveness happens or both is not right.
$hypothesis$ = the biliariness happens and/or the draping diminutiveness occurs. ; $context$ = sent1: the debilitation does not occur. sent2: the ventricularness happens. sent3: the ducking happens. sent4: the unobtrusiveness does not occur if both the ducking and the noncellularness occurs. sent5: the non-noncellularness triggers that the draping diminutiveness occurs. sent6: the rewriting craniometer does not occur. sent7: that the isometric does not occur is not incorrect. sent8: the exegeticness does not occur. sent9: the unwovenness occurs. sent10: both the ventricularness and the unobtrusiveness occurs if the debilitation does not occur. sent11: if the ducking does not occur the fact that the biliariness happens or the draping diminutiveness occurs or both is not true. sent12: that the fact that that both the unobtrusiveness and the noncellularness happens hold is not right if the ventricularness does not occur hold. sent13: the sophisticating MB happens. sent14: the sophisticating immunofluorescence does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the noncellularness occurs is right.; sent3 & assump1 -> int1: the ducking and the noncellularness occurs.; int1 & sent4 -> int2: the unobtrusiveness does not occur.; sent10 & sent1 -> int3: the ventricularness and the unobtrusiveness happens.; int3 -> int4: the unobtrusiveness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the noncellularness does not occur.; int6 & sent5 -> int7: the draping diminutiveness happens.; int7 -> hypothesis; __PROVED__