if the kineticness occurs the transoceanicness does not occur.
sent1: the fact that that the emulsifying TPN and the retailing occurs does not hold if the adjoining swot occurs hold. sent2: if the emulsifying traumatology does not occur then the adjoining Nielsen does not occur and the transoceanicness does not occur. sent3: the transoceanicness occurs. sent4: the hallelujah happens. sent5: if the adjoining swot happens then that the emulsifying TPN does not occur but the retail happens is not right. sent6: the emulsifying grandstand yields that the emulsifying traumatology does not occur. sent7: that not the photographing Mbabane but the emulsifying Parthian happens does not hold. sent8: not the adjoining Nielsen but the transoceanicness happens. sent9: the filtration does not occur and the requesting does not occur. sent10: the adjoining Nielsen does not occur. sent11: if the emulsifying TPN occurs then the kineticness does not occur. sent12: if the fact that the pulsation does not occur or the emulsifying grandstand occurs or both is correct then the emulsifying traumatology does not occur. sent13: if the kineticness occurs the transoceanicness happens. sent14: the intercellularness does not occur. sent15: if that not the emulsifying TPN but the retail happens is wrong then the kineticness does not occur. sent16: the fact that the emulsifying TPN happens and the retail occurs does not hold. sent17: not the adjoining Nielsen but the transoceanicness happens if the emulsifying traumatology does not occur. sent18: if the fact that not the neap but the emulsifying Xiphiidae occurs does not hold then the fact that the vanishing does not occur is not incorrect.
void -> assump2: Let's assume that the kineticness occurs.; void -> assump1: Let's assume that the adjoining swot occurs.; sent5 & assump1 -> int1: that the fact that the emulsifying TPN does not occur but the retail occurs is true is incorrect.; sent15 & int1 -> int2: the kineticness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the adjoining swot does not occur.;
$hypothesis$ = if the kineticness occurs the transoceanicness does not occur. ; $context$ = sent1: the fact that that the emulsifying TPN and the retailing occurs does not hold if the adjoining swot occurs hold. sent2: if the emulsifying traumatology does not occur then the adjoining Nielsen does not occur and the transoceanicness does not occur. sent3: the transoceanicness occurs. sent4: the hallelujah happens. sent5: if the adjoining swot happens then that the emulsifying TPN does not occur but the retail happens is not right. sent6: the emulsifying grandstand yields that the emulsifying traumatology does not occur. sent7: that not the photographing Mbabane but the emulsifying Parthian happens does not hold. sent8: not the adjoining Nielsen but the transoceanicness happens. sent9: the filtration does not occur and the requesting does not occur. sent10: the adjoining Nielsen does not occur. sent11: if the emulsifying TPN occurs then the kineticness does not occur. sent12: if the fact that the pulsation does not occur or the emulsifying grandstand occurs or both is correct then the emulsifying traumatology does not occur. sent13: if the kineticness occurs the transoceanicness happens. sent14: the intercellularness does not occur. sent15: if that not the emulsifying TPN but the retail happens is wrong then the kineticness does not occur. sent16: the fact that the emulsifying TPN happens and the retail occurs does not hold. sent17: not the adjoining Nielsen but the transoceanicness happens if the emulsifying traumatology does not occur. sent18: if the fact that not the neap but the emulsifying Xiphiidae occurs does not hold then the fact that the vanishing does not occur is not incorrect. ; $proof$ = 
void -> assump2: Let's assume that the kineticness occurs.; void -> assump1: Let's assume that the adjoining swot occurs.; sent5 & assump1 -> int1: that the fact that the emulsifying TPN does not occur but the retail occurs is true is incorrect.; sent15 & int1 -> int2: the kineticness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the adjoining swot does not occur.; __UNKNOWN__