the supervisoriness does not occur.
sent1: if the fact that the MPEG occurs but the symbolizing samekh does not occur is not correct the MPEG does not occur. sent2: both the atheroscleroticness and the beating France happens. sent3: if the MPEG does not occur and the symbolizing sideboard does not occur the allophonicness occurs. sent4: that the symbolizing houseplant does not occur prevents the supervisoriness. sent5: if the fact that the thermionicness and the non-weightyness occurs is incorrect then the symbolizing sideboard does not occur. sent6: the mummifying happens. sent7: that the fact that the seigneury but not the unmownness occurs is right is incorrect if the symbolizing houseplant occurs. sent8: the MPEG does not occur if the fact that the MPEG but not the symbolizing sideboard occurs is not true. sent9: if the allophonicness happens then the symbolizing Kreisler does not occur. sent10: if the symbolizing Kreisler does not occur then the supervisoriness and the mummifying occurs. sent11: if the mummifying does not occur the supervisoriness occurs and the symbolizing houseplant happens. sent12: the fact that the seigneury occurs and the unmownness occurs is incorrect. sent13: that the MPEG happens but the symbolizing samekh does not occur does not hold if the beating France happens. sent14: both the seigneury and the mownness occurs if the mummifying happens.
void -> assump1: Let's assume that the symbolizing houseplant occurs.; sent7 & assump1 -> int1: that both the seigneury and the non-unmownness happens is false.; sent14 & sent6 -> int2: the seigneury happens and the unmownness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the symbolizing houseplant does not occur is not incorrect.; int4 & sent4 -> hypothesis;
the supervisoriness occurs.
$hypothesis$ = the supervisoriness does not occur. ; $context$ = sent1: if the fact that the MPEG occurs but the symbolizing samekh does not occur is not correct the MPEG does not occur. sent2: both the atheroscleroticness and the beating France happens. sent3: if the MPEG does not occur and the symbolizing sideboard does not occur the allophonicness occurs. sent4: that the symbolizing houseplant does not occur prevents the supervisoriness. sent5: if the fact that the thermionicness and the non-weightyness occurs is incorrect then the symbolizing sideboard does not occur. sent6: the mummifying happens. sent7: that the fact that the seigneury but not the unmownness occurs is right is incorrect if the symbolizing houseplant occurs. sent8: the MPEG does not occur if the fact that the MPEG but not the symbolizing sideboard occurs is not true. sent9: if the allophonicness happens then the symbolizing Kreisler does not occur. sent10: if the symbolizing Kreisler does not occur then the supervisoriness and the mummifying occurs. sent11: if the mummifying does not occur the supervisoriness occurs and the symbolizing houseplant happens. sent12: the fact that the seigneury occurs and the unmownness occurs is incorrect. sent13: that the MPEG happens but the symbolizing samekh does not occur does not hold if the beating France happens. sent14: both the seigneury and the mownness occurs if the mummifying happens. ; $proof$ = 
void -> assump1: Let's assume that the symbolizing houseplant occurs.; sent7 & assump1 -> int1: that both the seigneury and the non-unmownness happens is false.; sent14 & sent6 -> int2: the seigneury happens and the unmownness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the symbolizing houseplant does not occur is not incorrect.; int4 & sent4 -> hypothesis; __PROVED__