that the disorderliness occurs hold.
sent1: if the fact that the cross-pliness does not occur does not hold the arrogance happens. sent2: both the functioning antiprotozoal and the lobularness happens. sent3: the fact that the contraction happens is right. sent4: the functioning sext happens and the Kurdishness happens. sent5: if the halving postposition does not occur then both the vetoing and the diving excitability happens. sent6: if the fact that the Malaysian happens is not false the disorderliness happens. sent7: if the vetoing occurs then that the Malaysian does not occur and the progress does not occur is wrong. sent8: the wiring does not occur if both the antistrophicness and the shedding occurs. sent9: if the functioning sext and the contraction happens then the progressing does not occur. sent10: the Malaysian occurs if that the progress does not occur hold. sent11: if the contraction does not occur that that the Kurdish but not the functioning sext happens is not wrong is not correct. sent12: the sanitation happens. sent13: the Kurdish occurs. sent14: if the fact that the regency does not occur and the therapeuticness happens is incorrect then the halving postposition does not occur.
sent4 -> int1: the functioning sext happens.; int1 & sent3 -> int2: both the functioning sext and the contraction occurs.; int2 & sent9 -> int3: the progressing does not occur.; int3 & sent10 -> int4: the Malaysianness happens.; int4 & sent6 -> hypothesis;
the disorderliness does not occur.
$hypothesis$ = that the disorderliness occurs hold. ; $context$ = sent1: if the fact that the cross-pliness does not occur does not hold the arrogance happens. sent2: both the functioning antiprotozoal and the lobularness happens. sent3: the fact that the contraction happens is right. sent4: the functioning sext happens and the Kurdishness happens. sent5: if the halving postposition does not occur then both the vetoing and the diving excitability happens. sent6: if the fact that the Malaysian happens is not false the disorderliness happens. sent7: if the vetoing occurs then that the Malaysian does not occur and the progress does not occur is wrong. sent8: the wiring does not occur if both the antistrophicness and the shedding occurs. sent9: if the functioning sext and the contraction happens then the progressing does not occur. sent10: the Malaysian occurs if that the progress does not occur hold. sent11: if the contraction does not occur that that the Kurdish but not the functioning sext happens is not wrong is not correct. sent12: the sanitation happens. sent13: the Kurdish occurs. sent14: if the fact that the regency does not occur and the therapeuticness happens is incorrect then the halving postposition does not occur. ; $proof$ = 
sent4 -> int1: the functioning sext happens.; int1 & sent3 -> int2: both the functioning sext and the contraction occurs.; int2 & sent9 -> int3: the progressing does not occur.; int3 & sent10 -> int4: the Malaysianness happens.; int4 & sent6 -> hypothesis; __PROVED__