the patterning maenad does not occur and the irrigation does not occur.
sent1: the spanking happens. sent2: the fact that the fact that the patterning maenad does not occur and the irrigation does not occur is not correct is not incorrect if the spanking does not occur. sent3: the stroking packhorse occurs. sent4: the unidimensionalness occurs but the bacillarness does not occur. sent5: that the sleeper and the blaxploitation happens is not true if the exploitation does not occur. sent6: if the consonantalness does not occur then the sleeper does not occur but the blaxploitation occurs. sent7: the meridionalness does not occur. sent8: both the consonantalness and the stroking sorceress occurs. sent9: the patterning educator happens. sent10: the fact that the seasonableness and the artificialness occurs does not hold if the CBC does not occur. sent11: if the CBC does not occur then the fact that the Aeolianness and the patterning slavery happens does not hold. sent12: if the patterning cowtown does not occur the fact that both the undergrowing and the numeralness happens is not correct. sent13: if the spanking happens and the plowing occurs then the fact that the singling Pizarro does not occur is not wrong. sent14: the fact that the attainment happens and the stroking fur-piece does not occur is incorrect. sent15: the stroking sorceress happens. sent16: the fact that the stroking diathermy occurs and the bioremediation does not occur is not true. sent17: the treadmill happens. sent18: the temperament does not occur and the patterning shebeen does not occur. sent19: if the consonantalness happens the irrigation does not occur. sent20: the plowing happens. sent21: that the patterning maenad does not occur is not false if the blaxploitation does not occur. sent22: if the patterning educator occurs then that the exploitation but not the singling Pizarro occurs is not correct. sent23: the fact that the exactness does not occur hold. sent24: both the acquisitiveness and the non-pyemicness happens. sent25: the patterning maenad does not occur if the fact that the sleeper occurs and the blaxploitation happens is not right. sent26: the totipotentness occurs.
sent1 & sent20 -> int1: the spank and the plowing happens.; int1 & sent13 -> int2: the singling Pizarro does not occur.; void -> assump1: Let's assume that that the exploitation occurs is not false.; int2 & assump1 -> int3: the exploitation but not the singling Pizarro occurs.; sent22 & sent9 -> int4: the fact that the exploitation but not the singling Pizarro occurs is false.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the exploitation does not occur.; int6 & sent5 -> int7: the fact that both the sleeper and the blaxploitation happens is not right.; int7 & sent25 -> int8: the patterning maenad does not occur.; sent8 -> int9: the consonantalness happens.; sent19 & int9 -> int10: the irrigation does not occur.; int8 & int10 -> hypothesis;
that the patterning maenad does not occur and the irrigation does not occur does not hold.
$hypothesis$ = the patterning maenad does not occur and the irrigation does not occur. ; $context$ = sent1: the spanking happens. sent2: the fact that the fact that the patterning maenad does not occur and the irrigation does not occur is not correct is not incorrect if the spanking does not occur. sent3: the stroking packhorse occurs. sent4: the unidimensionalness occurs but the bacillarness does not occur. sent5: that the sleeper and the blaxploitation happens is not true if the exploitation does not occur. sent6: if the consonantalness does not occur then the sleeper does not occur but the blaxploitation occurs. sent7: the meridionalness does not occur. sent8: both the consonantalness and the stroking sorceress occurs. sent9: the patterning educator happens. sent10: the fact that the seasonableness and the artificialness occurs does not hold if the CBC does not occur. sent11: if the CBC does not occur then the fact that the Aeolianness and the patterning slavery happens does not hold. sent12: if the patterning cowtown does not occur the fact that both the undergrowing and the numeralness happens is not correct. sent13: if the spanking happens and the plowing occurs then the fact that the singling Pizarro does not occur is not wrong. sent14: the fact that the attainment happens and the stroking fur-piece does not occur is incorrect. sent15: the stroking sorceress happens. sent16: the fact that the stroking diathermy occurs and the bioremediation does not occur is not true. sent17: the treadmill happens. sent18: the temperament does not occur and the patterning shebeen does not occur. sent19: if the consonantalness happens the irrigation does not occur. sent20: the plowing happens. sent21: that the patterning maenad does not occur is not false if the blaxploitation does not occur. sent22: if the patterning educator occurs then that the exploitation but not the singling Pizarro occurs is not correct. sent23: the fact that the exactness does not occur hold. sent24: both the acquisitiveness and the non-pyemicness happens. sent25: the patterning maenad does not occur if the fact that the sleeper occurs and the blaxploitation happens is not right. sent26: the totipotentness occurs. ; $proof$ = 
sent1 & sent20 -> int1: the spank and the plowing happens.; int1 & sent13 -> int2: the singling Pizarro does not occur.; void -> assump1: Let's assume that that the exploitation occurs is not false.; int2 & assump1 -> int3: the exploitation but not the singling Pizarro occurs.; sent22 & sent9 -> int4: the fact that the exploitation but not the singling Pizarro occurs is false.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the exploitation does not occur.; int6 & sent5 -> int7: the fact that both the sleeper and the blaxploitation happens is not right.; int7 & sent25 -> int8: the patterning maenad does not occur.; sent8 -> int9: the consonantalness happens.; sent19 & int9 -> int10: the irrigation does not occur.; int8 & int10 -> hypothesis; __PROVED__