that the Stalinist does not occur hold.
sent1: the eonianness occurs. sent2: the fact that the lunching Samoa happens hold. sent3: the lunching hoodoo occurs if the education does not occur and/or the paganizing Gidar occurs. sent4: that the bastardization happens causes that the heating Ido but not the outwardness happens. sent5: if the fact that the education does not occur and the paganizing Gidar does not occur is not right then the ecarte happens. sent6: the fact that the education occurs but the paganizing Gidar does not occur is wrong. sent7: if that either the eonianness or the ecarte or both happens is incorrect then the paganizing Gidar does not occur. sent8: the dating does not occur if that both the dating and the aggro happens is not right. sent9: if the paganizing Gidar occurs then the conservancy happens. sent10: if the mediatorialness does not occur then the material happens but the naming does not occur. sent11: the fact that not the education but the paganizing Gidar occurs is not right. sent12: the mediatorialness does not occur. sent13: that the ecarte happens and the eonianness occurs prevents the Stalinistness. sent14: if the dating does not occur both the bastardization and the keep happens. sent15: the education occurs. sent16: that the eonianness or the ecarte or both happens is not correct if the deconstructionistness does not occur. sent17: if the fact that the education and the non-obtrusiveness happens is wrong then the obtrusiveness occurs. sent18: that the name does not occur and the heating Ido happens prevents the deconstructionistness. sent19: if that the lunching facilitator does not occur and the Simonizing horsefly does not occur is wrong then the provincial happens.
void -> assump1: Let's assume that the education does not occur and the paganizing Gidar does not occur.; assump1 -> int1: the education does not occur.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the education does not occur and the paganizing Gidar does not occur is wrong.; int3 & sent5 -> int4: the ecarte occurs.; int4 & sent1 -> int5: the ecarte and the eonianness occurs.; int5 & sent13 -> hypothesis;
the Stalinistness occurs.
sent10 & sent12 -> int6: the material but not the naming occurs.; int6 -> int7: the naming does not occur.;
$hypothesis$ = that the Stalinist does not occur hold. ; $context$ = sent1: the eonianness occurs. sent2: the fact that the lunching Samoa happens hold. sent3: the lunching hoodoo occurs if the education does not occur and/or the paganizing Gidar occurs. sent4: that the bastardization happens causes that the heating Ido but not the outwardness happens. sent5: if the fact that the education does not occur and the paganizing Gidar does not occur is not right then the ecarte happens. sent6: the fact that the education occurs but the paganizing Gidar does not occur is wrong. sent7: if that either the eonianness or the ecarte or both happens is incorrect then the paganizing Gidar does not occur. sent8: the dating does not occur if that both the dating and the aggro happens is not right. sent9: if the paganizing Gidar occurs then the conservancy happens. sent10: if the mediatorialness does not occur then the material happens but the naming does not occur. sent11: the fact that not the education but the paganizing Gidar occurs is not right. sent12: the mediatorialness does not occur. sent13: that the ecarte happens and the eonianness occurs prevents the Stalinistness. sent14: if the dating does not occur both the bastardization and the keep happens. sent15: the education occurs. sent16: that the eonianness or the ecarte or both happens is not correct if the deconstructionistness does not occur. sent17: if the fact that the education and the non-obtrusiveness happens is wrong then the obtrusiveness occurs. sent18: that the name does not occur and the heating Ido happens prevents the deconstructionistness. sent19: if that the lunching facilitator does not occur and the Simonizing horsefly does not occur is wrong then the provincial happens. ; $proof$ = 
void -> assump1: Let's assume that the education does not occur and the paganizing Gidar does not occur.; assump1 -> int1: the education does not occur.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the education does not occur and the paganizing Gidar does not occur is wrong.; int3 & sent5 -> int4: the ecarte occurs.; int4 & sent1 -> int5: the ecarte and the eonianness occurs.; int5 & sent13 -> hypothesis; __PROVED__