both the greasing Wampanoag and the unintelligibleness happens.
sent1: the rally prevents the eligibleness. sent2: the mercuricness happens and the someness happens if the bonneting Dionysia does not occur. sent3: if the omen does not occur the greasing Wampanoag and the unintelligibleness occurs. sent4: the fact that the omen does not occur hold if the rallying does not occur. sent5: if the omen does not occur then the greasing Wampanoag occurs. sent6: the someness happens if the bonneting Dionysia does not occur. sent7: if the apheticness occurs the mercuricness does not occur. sent8: the tegularness and the clementness happens. sent9: the bonneting suicide does not occur. sent10: the persecution happens and the RAIU happens. sent11: that the bonneting ledger does not occur brings about the axileness. sent12: that the ineligibleness happens and/or the apheticness occurs causes that the mercuricness does not occur. sent13: if the abolitionariness does not occur then the Albigensianness does not occur. sent14: the greasing Wampanoag happens. sent15: the someness happens. sent16: the mud-brickness does not occur. sent17: if the megillah does not occur then the clearing distressed does not occur. sent18: the bonneting Dionysia does not occur.
void -> assump1: Let's assume that the rallying happens.; sent1 & assump1 -> int1: the ineligibleness occurs.; int1 -> int2: either the ineligibleness happens or the apheticness happens or both.; int2 & sent12 -> int3: the mercuricness does not occur.; sent2 & sent18 -> int4: the mercuricness occurs and the someness occurs.; int4 -> int5: the mercuricness happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the rally does not occur.; int7 & sent4 -> int8: the omen does not occur.; int8 & sent3 -> hypothesis;
that both the greasing Wampanoag and the unintelligibleness happens does not hold.
 -> hypothesis;
$hypothesis$ = both the greasing Wampanoag and the unintelligibleness happens. ; $context$ = sent1: the rally prevents the eligibleness. sent2: the mercuricness happens and the someness happens if the bonneting Dionysia does not occur. sent3: if the omen does not occur the greasing Wampanoag and the unintelligibleness occurs. sent4: the fact that the omen does not occur hold if the rallying does not occur. sent5: if the omen does not occur then the greasing Wampanoag occurs. sent6: the someness happens if the bonneting Dionysia does not occur. sent7: if the apheticness occurs the mercuricness does not occur. sent8: the tegularness and the clementness happens. sent9: the bonneting suicide does not occur. sent10: the persecution happens and the RAIU happens. sent11: that the bonneting ledger does not occur brings about the axileness. sent12: that the ineligibleness happens and/or the apheticness occurs causes that the mercuricness does not occur. sent13: if the abolitionariness does not occur then the Albigensianness does not occur. sent14: the greasing Wampanoag happens. sent15: the someness happens. sent16: the mud-brickness does not occur. sent17: if the megillah does not occur then the clearing distressed does not occur. sent18: the bonneting Dionysia does not occur. ; $proof$ = 
void -> assump1: Let's assume that the rallying happens.; sent1 & assump1 -> int1: the ineligibleness occurs.; int1 -> int2: either the ineligibleness happens or the apheticness happens or both.; int2 & sent12 -> int3: the mercuricness does not occur.; sent2 & sent18 -> int4: the mercuricness occurs and the someness occurs.; int4 -> int5: the mercuricness happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the rally does not occur.; int7 & sent4 -> int8: the omen does not occur.; int8 & sent3 -> hypothesis; __PROVED__