if the holisticness occurs the dent does not occur and the dissociation does not occur.
sent1: the hospitalization occurs. sent2: the flickering happens. sent3: that both the non-doricness and the surmountableness happens is triggered by that the recirculation happens. sent4: not the propaedeutic but the diametralness happens if the hospitalization does not occur. sent5: the trifurcation does not occur and the humanisticness does not occur. sent6: the punt does not occur and the mummifying subdominant does not occur. sent7: that the damping chrysomelid and the multilateralness occurs prevents the holisticness. sent8: that the trip does not occur causes the fact that that the flagellation does not occur and the camber does not occur is true. sent9: not the dent but the dissociation happens if the multilateralness does not occur. sent10: both the non-estuarineness and the non-incredibleness happens if the mummifying washbasin occurs. sent11: that the intro happens hold. sent12: the looting happens. sent13: both the subsidence and the damping chrysomelid happens. sent14: the optativeness and the cholinergicness occurs. sent15: that the pilfering does not occur hold. sent16: that the crowing Balsamorhiza occurs is prevented by the carinalness. sent17: the stoic does not occur and the crowing Bellis happens. sent18: the crowing tablefork does not occur. sent19: if the holisticness happens then not the dent but the dissociation happens.
void -> assump1: Let's assume that that the holisticness happens is true.; sent13 -> int1: the damping chrysomelid occurs.; void -> assump2: Let's assume that that the multilateralness occurs hold.; int1 & assump2 -> int2: both the damping chrysomelid and the multilateralness happens.; sent7 & int2 -> int3: the holisticness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the multilateralness does not occur.;
$hypothesis$ = if the holisticness occurs the dent does not occur and the dissociation does not occur. ; $context$ = sent1: the hospitalization occurs. sent2: the flickering happens. sent3: that both the non-doricness and the surmountableness happens is triggered by that the recirculation happens. sent4: not the propaedeutic but the diametralness happens if the hospitalization does not occur. sent5: the trifurcation does not occur and the humanisticness does not occur. sent6: the punt does not occur and the mummifying subdominant does not occur. sent7: that the damping chrysomelid and the multilateralness occurs prevents the holisticness. sent8: that the trip does not occur causes the fact that that the flagellation does not occur and the camber does not occur is true. sent9: not the dent but the dissociation happens if the multilateralness does not occur. sent10: both the non-estuarineness and the non-incredibleness happens if the mummifying washbasin occurs. sent11: that the intro happens hold. sent12: the looting happens. sent13: both the subsidence and the damping chrysomelid happens. sent14: the optativeness and the cholinergicness occurs. sent15: that the pilfering does not occur hold. sent16: that the crowing Balsamorhiza occurs is prevented by the carinalness. sent17: the stoic does not occur and the crowing Bellis happens. sent18: the crowing tablefork does not occur. sent19: if the holisticness happens then not the dent but the dissociation happens. ; $proof$ = 
void -> assump1: Let's assume that that the holisticness happens is true.; sent13 -> int1: the damping chrysomelid occurs.; void -> assump2: Let's assume that that the multilateralness occurs hold.; int1 & assump2 -> int2: both the damping chrysomelid and the multilateralness happens.; sent7 & int2 -> int3: the holisticness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the multilateralness does not occur.; __UNKNOWN__