the fact that not the pleomorphism but the officialness occurs is not true if the mineralness occurs.
sent1: that the omen does not occur and the losing Sadat happens does not hold. sent2: that the pleomorphism happens and the official occurs is not right if the mineral occurs. sent3: that the bizonalness does not occur and the losing Hubble happens is not correct if the etiolation occurs. sent4: if the catalectic does not occur then that the non-unattributableness and the excelling happens is not true. sent5: the catalectic does not occur if the film does not occur. sent6: that the mineral happens is prevented by that the pleomorphism and the officialness happens. sent7: the mineral does not occur if the pleomorphism does not occur but the official happens. sent8: if the circumcision does not occur the fact that the mineralness does not occur and the loving does not occur is true. sent9: if the fact that the unattributableness does not occur and the excelling occurs is wrong the excelling does not occur. sent10: the prioritizing robber does not occur but the positive occurs if the persisting g happens. sent11: if the persisting fishbone does not occur and the omen does not occur then the film does not occur. sent12: if not the final but the losing petabyte happens then the persisting wayfarer occurs. sent13: that the anti happens is brought about by that the mineralness does not occur and the love does not occur. sent14: the playoff does not occur. sent15: the fact that the confining squawk does not occur is not wrong if the non-cationicness and the amusement occurs. sent16: that both the prioritizing Hess and the arbitration happens is brought about by that the excelling does not occur. sent17: the fact that the circumcision does not occur is right if the unwomanliness does not occur and the confining Illecebrum does not occur. sent18: the unwomanliness does not occur and the confining Illecebrum does not occur if the fact that the arbitration happens is not false. sent19: the confining Pengo does not occur.
void -> assump1: Let's assume that the pleomorphism does not occur and the officialness happens.; sent7 & assump1 -> int1: the mineralness does not occur.; void -> assump2: Let's assume that that the mineral happens is not false.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the pleomorphism does not occur and the official happens is false.; [assump2] & int3 -> hypothesis;
that the antiness happens hold.
$hypothesis$ = the fact that not the pleomorphism but the officialness occurs is not true if the mineralness occurs. ; $context$ = sent1: that the omen does not occur and the losing Sadat happens does not hold. sent2: that the pleomorphism happens and the official occurs is not right if the mineral occurs. sent3: that the bizonalness does not occur and the losing Hubble happens is not correct if the etiolation occurs. sent4: if the catalectic does not occur then that the non-unattributableness and the excelling happens is not true. sent5: the catalectic does not occur if the film does not occur. sent6: that the mineral happens is prevented by that the pleomorphism and the officialness happens. sent7: the mineral does not occur if the pleomorphism does not occur but the official happens. sent8: if the circumcision does not occur the fact that the mineralness does not occur and the loving does not occur is true. sent9: if the fact that the unattributableness does not occur and the excelling occurs is wrong the excelling does not occur. sent10: the prioritizing robber does not occur but the positive occurs if the persisting g happens. sent11: if the persisting fishbone does not occur and the omen does not occur then the film does not occur. sent12: if not the final but the losing petabyte happens then the persisting wayfarer occurs. sent13: that the anti happens is brought about by that the mineralness does not occur and the love does not occur. sent14: the playoff does not occur. sent15: the fact that the confining squawk does not occur is not wrong if the non-cationicness and the amusement occurs. sent16: that both the prioritizing Hess and the arbitration happens is brought about by that the excelling does not occur. sent17: the fact that the circumcision does not occur is right if the unwomanliness does not occur and the confining Illecebrum does not occur. sent18: the unwomanliness does not occur and the confining Illecebrum does not occur if the fact that the arbitration happens is not false. sent19: the confining Pengo does not occur. ; $proof$ = 
void -> assump1: Let's assume that the pleomorphism does not occur and the officialness happens.; sent7 & assump1 -> int1: the mineralness does not occur.; void -> assump2: Let's assume that that the mineral happens is not false.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the pleomorphism does not occur and the official happens is false.; [assump2] & int3 -> hypothesis; __PROVED__