the contagion does not occur.
sent1: the side-glance happens if the reassailing Elli occurs. sent2: the diadromousness occurs. sent3: the diadromousness occurs if the genialness does not occur. sent4: the nidicolousness happens and/or the furrowing elapid does not occur. sent5: the contagion does not occur if the reclassification does not occur. sent6: if the Handelianness occurs and the medicolegalness does not occur then the banishment happens. sent7: that the switcheroo happens is not wrong. sent8: that the genialness does not occur results in that the reassailing aspect occurs and the diadromousness occurs. sent9: the linearness happens. sent10: if the sessileness occurs but the promising does not occur the enlivening Bellarmine does not occur. sent11: that the nidicolousness happens yields that the earthliness does not occur and the skanking does not occur. sent12: if that the non-topologicalness and the promising happens does not hold then the promising does not occur. sent13: the reassailing furor does not occur if the earthliness does not occur. sent14: if the enlivening Bellarmine does not occur that the genialness but not the reassailing honeydew happens is not correct. sent15: the sessileness occurs and the Carthusianness occurs if the reassailing furor does not occur. sent16: that not the topologicalness but the promising happens is wrong if the furrowing bronchoscope does not occur. sent17: the reassailing Trento is triggered by that the banishment happens. sent18: the Handelianness occurs. sent19: that the reassailing aspect happens but the reclassification does not occur is triggered by the non-diadromousness. sent20: the dotting occurs. sent21: if that the reassailing Trento and the reclassification happens is not false the reassailing aspect does not occur. sent22: the genialness does not occur. sent23: the nidicolousness is triggered by that the nidicolousness happens and/or the furrowing elapid does not occur. sent24: the Handelianness occurs but the medicolegalness does not occur.
sent6 & sent24 -> int1: the banishment happens.; int1 & sent17 -> int2: the reassailing Trento happens.; void -> assump1: Let's assume that the reclassification happens.; int2 & assump1 -> int3: the reassailing Trento and the reclassification occurs.; int3 & sent21 -> int4: the reassailing aspect does not occur.; sent8 & sent22 -> int5: both the reassailing aspect and the diadromousness happens.; int5 -> int6: the reassailing aspect occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the reclassification does not occur.; int8 & sent5 -> hypothesis;
the contagion occurs.
sent23 & sent4 -> int9: the nidicolousness occurs.; sent11 & int9 -> int10: the earthliness does not occur and the skanking does not occur.; int10 -> int11: the earthliness does not occur.; sent13 & int11 -> int12: the reassailing furor does not occur.; sent15 & int12 -> int13: that both the sessileness and the Carthusian happens is right.; int13 -> int14: the sessileness occurs.;
$hypothesis$ = the contagion does not occur. ; $context$ = sent1: the side-glance happens if the reassailing Elli occurs. sent2: the diadromousness occurs. sent3: the diadromousness occurs if the genialness does not occur. sent4: the nidicolousness happens and/or the furrowing elapid does not occur. sent5: the contagion does not occur if the reclassification does not occur. sent6: if the Handelianness occurs and the medicolegalness does not occur then the banishment happens. sent7: that the switcheroo happens is not wrong. sent8: that the genialness does not occur results in that the reassailing aspect occurs and the diadromousness occurs. sent9: the linearness happens. sent10: if the sessileness occurs but the promising does not occur the enlivening Bellarmine does not occur. sent11: that the nidicolousness happens yields that the earthliness does not occur and the skanking does not occur. sent12: if that the non-topologicalness and the promising happens does not hold then the promising does not occur. sent13: the reassailing furor does not occur if the earthliness does not occur. sent14: if the enlivening Bellarmine does not occur that the genialness but not the reassailing honeydew happens is not correct. sent15: the sessileness occurs and the Carthusianness occurs if the reassailing furor does not occur. sent16: that not the topologicalness but the promising happens is wrong if the furrowing bronchoscope does not occur. sent17: the reassailing Trento is triggered by that the banishment happens. sent18: the Handelianness occurs. sent19: that the reassailing aspect happens but the reclassification does not occur is triggered by the non-diadromousness. sent20: the dotting occurs. sent21: if that the reassailing Trento and the reclassification happens is not false the reassailing aspect does not occur. sent22: the genialness does not occur. sent23: the nidicolousness is triggered by that the nidicolousness happens and/or the furrowing elapid does not occur. sent24: the Handelianness occurs but the medicolegalness does not occur. ; $proof$ = 
sent6 & sent24 -> int1: the banishment happens.; int1 & sent17 -> int2: the reassailing Trento happens.; void -> assump1: Let's assume that the reclassification happens.; int2 & assump1 -> int3: the reassailing Trento and the reclassification occurs.; int3 & sent21 -> int4: the reassailing aspect does not occur.; sent8 & sent22 -> int5: both the reassailing aspect and the diadromousness happens.; int5 -> int6: the reassailing aspect occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the reclassification does not occur.; int8 & sent5 -> hypothesis; __PROVED__