the detribalizing stretching happens and the Nicaraguanness occurs.
sent1: the commerce does not occur. sent2: that the unsarcasticness happens is false if the parhelicness occurs and/or the postprandialness occurs. sent3: if the fact that the camouflaging indomethacin does not occur and the contortion does not occur is incorrect then the hydrodynamicness does not occur. sent4: that the postprandialness does not occur results in that both the Albigensianness and the non-parhelicness happens. sent5: that the camouflaging indomethacin does not occur and the contortion does not occur does not hold if the unsarcasticness does not occur. sent6: that the commerce does not occur brings about that the demolition but not the reductionistness occurs. sent7: that the gambling but not the camouflaging serosa happens is incorrect if the parhelicness does not occur. sent8: the hydrodynamicness occurs if the demolition happens. sent9: the camouflaging potage occurs. sent10: the detribalizing stretching happens if that the gambling but not the camouflaging serosa happens is not correct. sent11: the detribalizing Hermaphroditus does not occur. sent12: both the Nicaraguan and the bibliographicness happens if the detribalizing Hermaphroditus does not occur. sent13: the fact that the gambling and the camouflaging serosa happens is not true.
void -> assump1: Let's assume that the parhelicness happens.; assump1 -> int1: either the parhelicness occurs or the postprandialness occurs or both.; int1 & sent2 -> int2: the unsarcasticness does not occur.; int2 & sent5 -> int3: that the camouflaging indomethacin does not occur and the contortion does not occur is not correct.; int3 & sent3 -> int4: the fact that the hydrodynamicness does not occur is not wrong.; sent6 & sent1 -> int5: the demolition and the non-reductionistness happens.; int5 -> int6: the demolition happens.; sent8 & int6 -> int7: that the hydrodynamicness happens is not false.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the parhelicness does not occur.; int9 & sent7 -> int10: the fact that the gambling happens but the camouflaging serosa does not occur does not hold.; int10 & sent10 -> int11: the detribalizing stretching occurs.; sent12 & sent11 -> int12: the Nicaraguanness and the bibliographicness happens.; int12 -> int13: the Nicaraguanness occurs.; int11 & int13 -> hypothesis;
that the fact that both the detribalizing stretching and the Nicaraguanness happens is not false does not hold.
 -> hypothesis;
$hypothesis$ = the detribalizing stretching happens and the Nicaraguanness occurs. ; $context$ = sent1: the commerce does not occur. sent2: that the unsarcasticness happens is false if the parhelicness occurs and/or the postprandialness occurs. sent3: if the fact that the camouflaging indomethacin does not occur and the contortion does not occur is incorrect then the hydrodynamicness does not occur. sent4: that the postprandialness does not occur results in that both the Albigensianness and the non-parhelicness happens. sent5: that the camouflaging indomethacin does not occur and the contortion does not occur does not hold if the unsarcasticness does not occur. sent6: that the commerce does not occur brings about that the demolition but not the reductionistness occurs. sent7: that the gambling but not the camouflaging serosa happens is incorrect if the parhelicness does not occur. sent8: the hydrodynamicness occurs if the demolition happens. sent9: the camouflaging potage occurs. sent10: the detribalizing stretching happens if that the gambling but not the camouflaging serosa happens is not correct. sent11: the detribalizing Hermaphroditus does not occur. sent12: both the Nicaraguan and the bibliographicness happens if the detribalizing Hermaphroditus does not occur. sent13: the fact that the gambling and the camouflaging serosa happens is not true. ; $proof$ = 
void -> assump1: Let's assume that the parhelicness happens.; assump1 -> int1: either the parhelicness occurs or the postprandialness occurs or both.; int1 & sent2 -> int2: the unsarcasticness does not occur.; int2 & sent5 -> int3: that the camouflaging indomethacin does not occur and the contortion does not occur is not correct.; int3 & sent3 -> int4: the fact that the hydrodynamicness does not occur is not wrong.; sent6 & sent1 -> int5: the demolition and the non-reductionistness happens.; int5 -> int6: the demolition happens.; sent8 & int6 -> int7: that the hydrodynamicness happens is not false.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the parhelicness does not occur.; int9 & sent7 -> int10: the fact that the gambling happens but the camouflaging serosa does not occur does not hold.; int10 & sent10 -> int11: the detribalizing stretching occurs.; sent12 & sent11 -> int12: the Nicaraguanness and the bibliographicness happens.; int12 -> int13: the Nicaraguanness occurs.; int11 & int13 -> hypothesis; __PROVED__