the compartmentalization happens.
sent1: that the averaging justness but not the polychromaticness happens is not correct. sent2: that the phyllodialness occurs is not false if the misconduct does not occur and the skeet does not occur. sent3: the cross-linguisticness does not occur and the darting blubberer does not occur. sent4: if the erasure occurs the darting automat happens. sent5: the omission does not occur. sent6: the compartmentalization does not occur if both the non-polychromaticness and the averaging justness occurs. sent7: that the measuring prehistory does not occur is not incorrect. sent8: the mammariness does not occur and the tetralogy does not occur. sent9: that the darting automat does not occur and the averaging justness does not occur prevents that the compartmentalization does not occur. sent10: the erasure occurs and the illness happens if the darting assessment does not occur. sent11: the fact that the catalyticness happens but the Ping does not occur is not correct. sent12: the darting automat does not occur. sent13: that the darting Sphyrna does not occur and the darting Shostakovich does not occur triggers that the biogeographicness occurs. sent14: the rating occurs. sent15: the patrioticness but not the scuffing Zalophus happens. sent16: the averaging load does not occur and the darting fibril does not occur. sent17: the polychromaticness does not occur. sent18: the scuffing Zalophus does not occur.
void -> assump1: Let's assume that the averaging justness happens.; assump1 & sent17 -> int1: the averaging justness happens but the polychromaticness does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the averaging justness does not occur.; int3 & sent12 -> int4: the darting automat does not occur and the averaging justness does not occur.; int4 & sent9 -> hypothesis;
the compartmentalization does not occur.
$hypothesis$ = the compartmentalization happens. ; $context$ = sent1: that the averaging justness but not the polychromaticness happens is not correct. sent2: that the phyllodialness occurs is not false if the misconduct does not occur and the skeet does not occur. sent3: the cross-linguisticness does not occur and the darting blubberer does not occur. sent4: if the erasure occurs the darting automat happens. sent5: the omission does not occur. sent6: the compartmentalization does not occur if both the non-polychromaticness and the averaging justness occurs. sent7: that the measuring prehistory does not occur is not incorrect. sent8: the mammariness does not occur and the tetralogy does not occur. sent9: that the darting automat does not occur and the averaging justness does not occur prevents that the compartmentalization does not occur. sent10: the erasure occurs and the illness happens if the darting assessment does not occur. sent11: the fact that the catalyticness happens but the Ping does not occur is not correct. sent12: the darting automat does not occur. sent13: that the darting Sphyrna does not occur and the darting Shostakovich does not occur triggers that the biogeographicness occurs. sent14: the rating occurs. sent15: the patrioticness but not the scuffing Zalophus happens. sent16: the averaging load does not occur and the darting fibril does not occur. sent17: the polychromaticness does not occur. sent18: the scuffing Zalophus does not occur. ; $proof$ = 
void -> assump1: Let's assume that the averaging justness happens.; assump1 & sent17 -> int1: the averaging justness happens but the polychromaticness does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the averaging justness does not occur.; int3 & sent12 -> int4: the darting automat does not occur and the averaging justness does not occur.; int4 & sent9 -> hypothesis; __PROVED__