if the earthenness happens then the reorienting Maximian occurs.
sent1: both the republication and the reorienting honeycomb happens. sent2: the BAR does not occur. sent3: the adapting penicillin and the vitrifying happens if the BAR does not occur. sent4: that both the jamming and the polarization occurs brings about that the earthenness happens. sent5: the polarization happens. sent6: the solventness occurs. sent7: that the adapting arquebus occurs and the quitclaim does not occur is caused by that the adapting penicillin occurs. sent8: that not the jamming but the adapting arquebus occurs leads to the reorienting Maximian. sent9: the pupillariness does not occur. sent10: that the polydactylness does not occur yields the scaleneness. sent11: the earthenness does not occur if both the jamming and the polarization happens.
void -> assump2: Let's assume that the jamming occurs.; assump2 & sent5 -> int1: the jamming occurs and the polarization occurs.; int1 & sent11 -> int2: the earthenness does not occur.; void -> assump1: Let's assume that the fact that the earthenness occurs hold.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the jamming does not occur.; sent3 & sent2 -> int5: the fact that both the adapting penicillin and the vitrifying occurs hold.; int5 -> int6: the adapting penicillin happens.; sent7 & int6 -> int7: the adapting arquebus happens but the quitclaim does not occur.; int7 -> int8: the adapting arquebus happens.; int4 & int8 -> int9: not the jamming but the adapting arquebus happens.; int9 & sent8 -> int10: the reorienting Maximian occurs.; [assump1] & int10 -> hypothesis;
$hypothesis$ = if the earthenness happens then the reorienting Maximian occurs. ; $context$ = sent1: both the republication and the reorienting honeycomb happens. sent2: the BAR does not occur. sent3: the adapting penicillin and the vitrifying happens if the BAR does not occur. sent4: that both the jamming and the polarization occurs brings about that the earthenness happens. sent5: the polarization happens. sent6: the solventness occurs. sent7: that the adapting arquebus occurs and the quitclaim does not occur is caused by that the adapting penicillin occurs. sent8: that not the jamming but the adapting arquebus occurs leads to the reorienting Maximian. sent9: the pupillariness does not occur. sent10: that the polydactylness does not occur yields the scaleneness. sent11: the earthenness does not occur if both the jamming and the polarization happens. ; $proof$ = 
void -> assump2: Let's assume that the jamming occurs.; assump2 & sent5 -> int1: the jamming occurs and the polarization occurs.; int1 & sent11 -> int2: the earthenness does not occur.; void -> assump1: Let's assume that the fact that the earthenness occurs hold.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the jamming does not occur.; sent3 & sent2 -> int5: the fact that both the adapting penicillin and the vitrifying occurs hold.; int5 -> int6: the adapting penicillin happens.; sent7 & int6 -> int7: the adapting arquebus happens but the quitclaim does not occur.; int7 -> int8: the adapting arquebus happens.; int4 & int8 -> int9: not the jamming but the adapting arquebus happens.; int9 & sent8 -> int10: the reorienting Maximian occurs.; [assump1] & int10 -> hypothesis; __PROVED__