the organicisticness does not occur and the gastroscopy does not occur.
sent1: the exception occurs if the Hispanicness happens. sent2: both the gastromy and the hairiness happens if the homesteading ovule does not occur. sent3: the honestness happens and the awarding does not occur if the disownment does not occur. sent4: the fact that the disownment does not occur is not false. sent5: that the hairiness does not occur is brought about by that the quietening Hymen and the honestness occurs. sent6: if the exception happens the quietening Hymen happens. sent7: the homesteading ovule does not occur. sent8: the Hispanicness happens if the fact that the organicisticness does not occur and the gastroscopy does not occur is incorrect. sent9: the award does not occur if the disownment does not occur.
void -> assump1: Let's assume that that the organicisticness does not occur and the gastroscopy does not occur is incorrect.; sent8 & assump1 -> int1: the Hispanicness happens.; int1 & sent1 -> int2: the exception occurs.; int2 & sent6 -> int3: the quietening Hymen happens.; sent3 & sent4 -> int4: the honestness but not the awarding occurs.; int4 -> int5: the honestness happens.; int3 & int5 -> int6: both the quietening Hymen and the honestness happens.; int6 & sent5 -> int7: the hairiness does not occur.; sent2 & sent7 -> int8: the gastromy happens and the hairiness happens.; int8 -> int9: the hairiness occurs.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the organicisticness does not occur and the gastroscopy does not occur. ; $context$ = sent1: the exception occurs if the Hispanicness happens. sent2: both the gastromy and the hairiness happens if the homesteading ovule does not occur. sent3: the honestness happens and the awarding does not occur if the disownment does not occur. sent4: the fact that the disownment does not occur is not false. sent5: that the hairiness does not occur is brought about by that the quietening Hymen and the honestness occurs. sent6: if the exception happens the quietening Hymen happens. sent7: the homesteading ovule does not occur. sent8: the Hispanicness happens if the fact that the organicisticness does not occur and the gastroscopy does not occur is incorrect. sent9: the award does not occur if the disownment does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the organicisticness does not occur and the gastroscopy does not occur is incorrect.; sent8 & assump1 -> int1: the Hispanicness happens.; int1 & sent1 -> int2: the exception occurs.; int2 & sent6 -> int3: the quietening Hymen happens.; sent3 & sent4 -> int4: the honestness but not the awarding occurs.; int4 -> int5: the honestness happens.; int3 & int5 -> int6: both the quietening Hymen and the honestness happens.; int6 & sent5 -> int7: the hairiness does not occur.; sent2 & sent7 -> int8: the gastromy happens and the hairiness happens.; int8 -> int9: the hairiness occurs.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__