the scouring Exacum is prevented by that the humming Erasmus occurs.
sent1: that not the puckering but the cruciferousness happens prevents that the Romans does not occur. sent2: that the scouring synset happens prevents that the unreportableness does not occur. sent3: the scouring Exacum does not occur if the emerging occurs and the unobjectionableness occurs. sent4: both the scouring catarrh and the humming Erasmus occurs if the undrinkableness does not occur. sent5: if the humming Erasmus happens then the undrinkableness occurs. sent6: that the congregating does not occur but the Scythian occurs causes that the unobjectionableness happens. sent7: the emerging happens if the sailing-race occurs. sent8: the Scythianness happens. sent9: the officialness does not occur. sent10: that the wheel does not occur is true. sent11: the congregating does not occur. sent12: that the sailing-race does not occur is prevented by that the undrinkableness happens.
void -> assump1: Let's assume that the humming Erasmus happens.; sent5 & assump1 -> int1: the undrinkableness happens.; int1 & sent12 -> int2: the sailing-race happens.; int2 & sent7 -> int3: the emerging occurs.; sent11 & sent8 -> int4: not the congregating but the Scythian occurs.; sent6 & int4 -> int5: that the unobjectionableness happens is not incorrect.; int3 & int5 -> int6: the emerging and the unobjectionableness happens.; int6 & sent3 -> int7: the scouring Exacum does not occur.; [assump1] & int7 -> hypothesis;
that the scouring catarrh occurs is right.
$hypothesis$ = the scouring Exacum is prevented by that the humming Erasmus occurs. ; $context$ = sent1: that not the puckering but the cruciferousness happens prevents that the Romans does not occur. sent2: that the scouring synset happens prevents that the unreportableness does not occur. sent3: the scouring Exacum does not occur if the emerging occurs and the unobjectionableness occurs. sent4: both the scouring catarrh and the humming Erasmus occurs if the undrinkableness does not occur. sent5: if the humming Erasmus happens then the undrinkableness occurs. sent6: that the congregating does not occur but the Scythian occurs causes that the unobjectionableness happens. sent7: the emerging happens if the sailing-race occurs. sent8: the Scythianness happens. sent9: the officialness does not occur. sent10: that the wheel does not occur is true. sent11: the congregating does not occur. sent12: that the sailing-race does not occur is prevented by that the undrinkableness happens. ; $proof$ = 
void -> assump1: Let's assume that the humming Erasmus happens.; sent5 & assump1 -> int1: the undrinkableness happens.; int1 & sent12 -> int2: the sailing-race happens.; int2 & sent7 -> int3: the emerging occurs.; sent11 & sent8 -> int4: not the congregating but the Scythian occurs.; sent6 & int4 -> int5: that the unobjectionableness happens is not incorrect.; int3 & int5 -> int6: the emerging and the unobjectionableness happens.; int6 & sent3 -> int7: the scouring Exacum does not occur.; [assump1] & int7 -> hypothesis; __PROVED__