the unitization occurs.
sent1: if the tortiousness occurs the attachableness happens. sent2: the tortiousness happens if that the pericardialness but not the unitization happens is not correct. sent3: that both the flicking and the volition happens is not right. sent4: the sententialness happens. sent5: that the ordering happens causes that the jacking does not occur. sent6: the mummifying V occurs. sent7: the damping quinacrine occurs. sent8: the fact that the matricide occurs but the proposal does not occur is not right. sent9: that the crowing dixie but not the rolling perspirer happens is incorrect. sent10: the attachableness does not occur. sent11: if that the unprofessionalness does not occur and/or the crowing cacodemon occurs does not hold the ordering occurs. sent12: the fact that the cryogenicsness occurs and the scapularness does not occur hold. sent13: if that the tuberculateness does not occur and the mummifying browser does not occur is not true the damping quinacrine happens. sent14: the rolling perspirer does not occur. sent15: the fact that the pericardialness happens and the unitization happens does not hold. sent16: the proposal happens. sent17: the catholicness occurs. sent18: the rolling self-incrimination does not occur. sent19: the malingering does not occur and the tortiousness does not occur if the jacking does not occur.
void -> assump1: Let's assume that that the pericardialness occurs but the unitization does not occur does not hold.; sent2 & assump1 -> int1: the tortiousness occurs.; int1 & sent1 -> int2: the attachableness happens.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pericardialness occurs but the unitization does not occur.; int4 -> hypothesis;
the unitization occurs.
$hypothesis$ = the unitization occurs. ; $context$ = sent1: if the tortiousness occurs the attachableness happens. sent2: the tortiousness happens if that the pericardialness but not the unitization happens is not correct. sent3: that both the flicking and the volition happens is not right. sent4: the sententialness happens. sent5: that the ordering happens causes that the jacking does not occur. sent6: the mummifying V occurs. sent7: the damping quinacrine occurs. sent8: the fact that the matricide occurs but the proposal does not occur is not right. sent9: that the crowing dixie but not the rolling perspirer happens is incorrect. sent10: the attachableness does not occur. sent11: if that the unprofessionalness does not occur and/or the crowing cacodemon occurs does not hold the ordering occurs. sent12: the fact that the cryogenicsness occurs and the scapularness does not occur hold. sent13: if that the tuberculateness does not occur and the mummifying browser does not occur is not true the damping quinacrine happens. sent14: the rolling perspirer does not occur. sent15: the fact that the pericardialness happens and the unitization happens does not hold. sent16: the proposal happens. sent17: the catholicness occurs. sent18: the rolling self-incrimination does not occur. sent19: the malingering does not occur and the tortiousness does not occur if the jacking does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the pericardialness occurs but the unitization does not occur does not hold.; sent2 & assump1 -> int1: the tortiousness occurs.; int1 & sent1 -> int2: the attachableness happens.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pericardialness occurs but the unitization does not occur.; int4 -> hypothesis; __DISPROVED__