the tragicness prevents that the sonicness does not occur.
sent1: the multidimensionalness does not occur if not the tragicness but the painfulness occurs. sent2: if the regressiveness happens then that the painfulness does not occur is correct. sent3: the fact that the resistiveness happens and the regressiveness occurs is not right. sent4: both the Churchillianness and the non-higherness happens. sent5: that the resistiveness but not the regressiveness occurs is false. sent6: if the javelin occurs the behalf happens. sent7: the mulcting February triggers that the philandering forestry but not the sonicness occurs. sent8: that the commerce and the non-Scythianness happens prevents that the pentecostalness does not occur. sent9: the crowding happens. sent10: that the mulcting February and the capitularness occurs is brought about by that the convolution does not occur. sent11: the offering does not occur. sent12: the painfulness does not occur if that the resistiveness but not the regressiveness occurs does not hold. sent13: that the photometry but not the syllogisticness occurs causes that the lasting occurs. sent14: the pentecostalness occurs.
void -> assump1: Let's assume that the tragicness occurs.; sent12 & sent5 -> int1: the painfulness does not occur.; assump1 & int1 -> int2: the tragicness but not the painfulness happens.;
the fact that the multidimensionalness does not occur hold.
$hypothesis$ = the tragicness prevents that the sonicness does not occur. ; $context$ = sent1: the multidimensionalness does not occur if not the tragicness but the painfulness occurs. sent2: if the regressiveness happens then that the painfulness does not occur is correct. sent3: the fact that the resistiveness happens and the regressiveness occurs is not right. sent4: both the Churchillianness and the non-higherness happens. sent5: that the resistiveness but not the regressiveness occurs is false. sent6: if the javelin occurs the behalf happens. sent7: the mulcting February triggers that the philandering forestry but not the sonicness occurs. sent8: that the commerce and the non-Scythianness happens prevents that the pentecostalness does not occur. sent9: the crowding happens. sent10: that the mulcting February and the capitularness occurs is brought about by that the convolution does not occur. sent11: the offering does not occur. sent12: the painfulness does not occur if that the resistiveness but not the regressiveness occurs does not hold. sent13: that the photometry but not the syllogisticness occurs causes that the lasting occurs. sent14: the pentecostalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the tragicness occurs.; sent12 & sent5 -> int1: the painfulness does not occur.; assump1 & int1 -> int2: the tragicness but not the painfulness happens.; __UNKNOWN__