that the divestiture occurs is prevented by that the Jainness occurs.
sent1: that the Jainness does not occur and the divestiture does not occur is caused by that the grooving realty occurs. sent2: the acidimetry does not occur. sent3: that the divestiture happens is brought about by that both the Jainness and the papilliformness happens. sent4: both the grooving retinopathy and the papilliformness occurs if the Jainness does not occur. sent5: if the acidimetry occurs the Chechenness happens. sent6: the fact that the curveting crocodilian and the pedunculateness happens is not correct. sent7: if that the Jainness occurs is not false then the divestiture occurs. sent8: if the papilliformness does not occur the curveting crocodilian does not occur. sent9: that the Jainness occurs and the papilliformness occurs prevents that the divestiture occurs. sent10: the fact that not the curveting crocodilian but the pedunculateness happens is not right if the acidimetry does not occur. sent11: the non-synchronicness leads to that the catecheticalness does not occur and the pancreatectomy does not occur. sent12: the curveting crocodilian does not occur. sent13: that the papilliformness does not occur brings about that not the curveting crocodilian but the pedunculateness occurs. sent14: the grooving realty happens if the catecheticalness does not occur and the pancreatectomy does not occur. sent15: the divestiture happens. sent16: if the acidimetry does not occur then the fact that the curveting crocodilian occurs and the pedunculateness occurs is not right. sent17: that the permission does not occur triggers that the curveting washup does not occur and the synchronicness does not occur. sent18: the phyllodialness occurs.
void -> assump1: Let's assume that the papilliformness does not occur.; sent13 & assump1 -> int1: the curveting crocodilian does not occur but the pedunculateness occurs.; sent10 & sent2 -> int2: that the fact that the curveting crocodilian does not occur but the pedunculateness happens is not correct is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the papilliformness occurs.; void -> assump2: Let's assume that the Jainness occurs.; int4 & assump2 -> int5: the Jainness occurs and the papilliformness occurs.; int5 & sent9 -> int6: the divestiture does not occur.; [assump2] & int6 -> hypothesis;
both the grooving retinopathy and the Chechen occurs.
$hypothesis$ = that the divestiture occurs is prevented by that the Jainness occurs. ; $context$ = sent1: that the Jainness does not occur and the divestiture does not occur is caused by that the grooving realty occurs. sent2: the acidimetry does not occur. sent3: that the divestiture happens is brought about by that both the Jainness and the papilliformness happens. sent4: both the grooving retinopathy and the papilliformness occurs if the Jainness does not occur. sent5: if the acidimetry occurs the Chechenness happens. sent6: the fact that the curveting crocodilian and the pedunculateness happens is not correct. sent7: if that the Jainness occurs is not false then the divestiture occurs. sent8: if the papilliformness does not occur the curveting crocodilian does not occur. sent9: that the Jainness occurs and the papilliformness occurs prevents that the divestiture occurs. sent10: the fact that not the curveting crocodilian but the pedunculateness happens is not right if the acidimetry does not occur. sent11: the non-synchronicness leads to that the catecheticalness does not occur and the pancreatectomy does not occur. sent12: the curveting crocodilian does not occur. sent13: that the papilliformness does not occur brings about that not the curveting crocodilian but the pedunculateness occurs. sent14: the grooving realty happens if the catecheticalness does not occur and the pancreatectomy does not occur. sent15: the divestiture happens. sent16: if the acidimetry does not occur then the fact that the curveting crocodilian occurs and the pedunculateness occurs is not right. sent17: that the permission does not occur triggers that the curveting washup does not occur and the synchronicness does not occur. sent18: the phyllodialness occurs. ; $proof$ = 
void -> assump1: Let's assume that the papilliformness does not occur.; sent13 & assump1 -> int1: the curveting crocodilian does not occur but the pedunculateness occurs.; sent10 & sent2 -> int2: that the fact that the curveting crocodilian does not occur but the pedunculateness happens is not correct is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the papilliformness occurs.; void -> assump2: Let's assume that the Jainness occurs.; int4 & assump2 -> int5: the Jainness occurs and the papilliformness occurs.; int5 & sent9 -> int6: the divestiture does not occur.; [assump2] & int6 -> hypothesis; __PROVED__