the acquittal does not occur.
sent1: the soccer occurs. sent2: if the paintball does not occur the acquittal and the baricness happens. sent3: the fact that the boodle does not occur hold. sent4: the fact that the acquittal does not occur hold if the Gula does not occur. sent5: the ectomorphicness occurs if the reticulateness but not the boodle happens. sent6: that the calculousness occurs is brought about by that the vascularness happens. sent7: that the baricness and the calculousness happens hold. sent8: that the baricness and the calculousness happens yields the non-ectomorphicness. sent9: if the reticulating does not occur then that the soccer happens is not false. sent10: that the soccer does not occur causes either that the Gula occurs or the ectomorphicness or both. sent11: if the reticulating happens then the acquittal happens. sent12: if the reticulating does not occur the Gula does not occur and the soccer happens. sent13: the vascularness happens. sent14: the calculousness happens.
void -> assump1: Let's assume that the reticulating happens.; assump1 & sent3 -> int1: the reticulating but not the boodle occurs.; int1 & sent5 -> int2: the ectomorphicness happens.; sent8 & sent7 -> int3: the ectomorphicness does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the reticulateness does not occur.; int5 & sent12 -> int6: the Gula does not occur but the soccer happens.; int6 -> int7: the Gula does not occur.; int7 & sent4 -> hypothesis;
the uniovularness does not occur.
sent6 & sent13 -> int8: the calculousness happens.;
$hypothesis$ = the acquittal does not occur. ; $context$ = sent1: the soccer occurs. sent2: if the paintball does not occur the acquittal and the baricness happens. sent3: the fact that the boodle does not occur hold. sent4: the fact that the acquittal does not occur hold if the Gula does not occur. sent5: the ectomorphicness occurs if the reticulateness but not the boodle happens. sent6: that the calculousness occurs is brought about by that the vascularness happens. sent7: that the baricness and the calculousness happens hold. sent8: that the baricness and the calculousness happens yields the non-ectomorphicness. sent9: if the reticulating does not occur then that the soccer happens is not false. sent10: that the soccer does not occur causes either that the Gula occurs or the ectomorphicness or both. sent11: if the reticulating happens then the acquittal happens. sent12: if the reticulating does not occur the Gula does not occur and the soccer happens. sent13: the vascularness happens. sent14: the calculousness happens. ; $proof$ = 
void -> assump1: Let's assume that the reticulating happens.; assump1 & sent3 -> int1: the reticulating but not the boodle occurs.; int1 & sent5 -> int2: the ectomorphicness happens.; sent8 & sent7 -> int3: the ectomorphicness does not occur.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the reticulateness does not occur.; int5 & sent12 -> int6: the Gula does not occur but the soccer happens.; int6 -> int7: the Gula does not occur.; int7 & sent4 -> hypothesis; __PROVED__