that the existentness and the reunion happens is false.
sent1: the reunion does not occur if the fact that either the base happens or the titration does not occur or both does not hold. sent2: that the huff occurs and the Serbianness happens prevents that the pursuance happens. sent3: the huff happens. sent4: if the hemisphericalness does not occur then the fact that the briefing aerialist occurs and the kick happens is wrong. sent5: if the huff does not occur then the communications occurs. sent6: the Serbian happens. sent7: if the pursuance does not occur the fact that both the existentness and the reunion happens is not right. sent8: the existentness occurs and the huffing happens if the Serbian does not occur. sent9: both the pastoralness and the bisontineness occurs if that the impinging Bellarmine does not occur hold. sent10: that the reunion does not occur results in that the Serbian occurs and the huff does not occur. sent11: if the composition does not occur that either the basing happens or the titration does not occur or both is not correct. sent12: the existentness does not occur if the fact that the pastoralness happens hold. sent13: the non-diaphoreticness is caused by that both the gravity-assist and the formalisticness happens.
sent3 & sent6 -> int1: the huff and the Serbianness occurs.; int1 & sent2 -> int2: that the pursuance does not occur is not false.; int2 & sent7 -> hypothesis;
the existentness and the reunion occurs.
$hypothesis$ = that the existentness and the reunion happens is false. ; $context$ = sent1: the reunion does not occur if the fact that either the base happens or the titration does not occur or both does not hold. sent2: that the huff occurs and the Serbianness happens prevents that the pursuance happens. sent3: the huff happens. sent4: if the hemisphericalness does not occur then the fact that the briefing aerialist occurs and the kick happens is wrong. sent5: if the huff does not occur then the communications occurs. sent6: the Serbian happens. sent7: if the pursuance does not occur the fact that both the existentness and the reunion happens is not right. sent8: the existentness occurs and the huffing happens if the Serbian does not occur. sent9: both the pastoralness and the bisontineness occurs if that the impinging Bellarmine does not occur hold. sent10: that the reunion does not occur results in that the Serbian occurs and the huff does not occur. sent11: if the composition does not occur that either the basing happens or the titration does not occur or both is not correct. sent12: the existentness does not occur if the fact that the pastoralness happens hold. sent13: the non-diaphoreticness is caused by that both the gravity-assist and the formalisticness happens. ; $proof$ = 
sent3 & sent6 -> int1: the huff and the Serbianness occurs.; int1 & sent2 -> int2: that the pursuance does not occur is not false.; int2 & sent7 -> hypothesis; __PROVED__