the expurgation happens.
sent1: if that the drawing mannered does not occur but the finance occurs is false then the fact that the intelligence does not occur is true. sent2: the expurgation occurs if not the escort but the uncivilness happens. sent3: the crabbing occurs if not the drawing herringbone but the unwrapping happens. sent4: the whiplash does not occur and the Venezuelan happens. sent5: the anthropologicalness occurs. sent6: the peripatetic occurs. sent7: the vaginismus occurs and the comforting insolation occurs. sent8: if not the rendering but the method occurs the fact that the cytotoxicness happens is not incorrect. sent9: the obstructionism occurs. sent10: the vaginismus does not occur if that both the vaginismus and the reflectorizing Williamstown happens is incorrect. sent11: the comforting insolation does not occur if the fact that the escorting does not occur but the uncivilness happens is not right. sent12: the twiddle does not occur. sent13: the uncivilness occurs. sent14: if the uncivilness does not occur the comforting insolation does not occur. sent15: the archaizing and the hurdles occurs. sent16: if that the vaginismus does not occur hold then the fact that the expurgation and the comforting insolation occurs does not hold. sent17: the ipsilateralness does not occur. sent18: the vaginismus occurs. sent19: that the vaginismus occurs and the reflectorizing Williamstown occurs is incorrect if the anictericness does not occur. sent20: that the expurgation does not occur if the fact that the expurgation and the comforting insolation occurs is wrong is true.
void -> assump1: Let's assume that that not the escort but the uncivilness happens is false.; sent11 & assump1 -> int1: that the comforting insolation does not occur hold.; sent7 -> int2: the comforting insolation happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the escorting does not occur and the uncivilness happens.; int4 & sent2 -> hypothesis;
the expurgation does not occur.
$hypothesis$ = the expurgation happens. ; $context$ = sent1: if that the drawing mannered does not occur but the finance occurs is false then the fact that the intelligence does not occur is true. sent2: the expurgation occurs if not the escort but the uncivilness happens. sent3: the crabbing occurs if not the drawing herringbone but the unwrapping happens. sent4: the whiplash does not occur and the Venezuelan happens. sent5: the anthropologicalness occurs. sent6: the peripatetic occurs. sent7: the vaginismus occurs and the comforting insolation occurs. sent8: if not the rendering but the method occurs the fact that the cytotoxicness happens is not incorrect. sent9: the obstructionism occurs. sent10: the vaginismus does not occur if that both the vaginismus and the reflectorizing Williamstown happens is incorrect. sent11: the comforting insolation does not occur if the fact that the escorting does not occur but the uncivilness happens is not right. sent12: the twiddle does not occur. sent13: the uncivilness occurs. sent14: if the uncivilness does not occur the comforting insolation does not occur. sent15: the archaizing and the hurdles occurs. sent16: if that the vaginismus does not occur hold then the fact that the expurgation and the comforting insolation occurs does not hold. sent17: the ipsilateralness does not occur. sent18: the vaginismus occurs. sent19: that the vaginismus occurs and the reflectorizing Williamstown occurs is incorrect if the anictericness does not occur. sent20: that the expurgation does not occur if the fact that the expurgation and the comforting insolation occurs is wrong is true. ; $proof$ = 
void -> assump1: Let's assume that that not the escort but the uncivilness happens is false.; sent11 & assump1 -> int1: that the comforting insolation does not occur hold.; sent7 -> int2: the comforting insolation happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the escorting does not occur and the uncivilness happens.; int4 & sent2 -> hypothesis; __PROVED__