the carpalness does not occur and the extinguishing Constable does not occur if the unsweptness happens.
sent1: the punctuation does not occur. sent2: if the juggle happens then the droning coven happens. sent3: if the juggling happens then the extinguishing lipstick does not occur and the droning coven occurs. sent4: that the smut happens and the tertianness happens does not hold. sent5: that the producer happens leads to that the formalization does not occur and the extinguishing grout does not occur. sent6: the extinguishing Saginaw occurs if the fact that both the smutting and the non-tertianness occurs is not true. sent7: if the punctuation does not occur then the beaming occurs. sent8: both the juggling and the beaming occurs if the punctuation does not occur. sent9: if the fact that the carpal and/or the extinguishing Constable occurs is not correct then the submission does not occur. sent10: the tertianness does not occur. sent11: the fact that the droning coven occurs is right. sent12: if the tertianness happens that the extinguishing Saginaw occurs hold. sent13: that both the smut and the non-tertianness happens brings about the non-unsweptness. sent14: that the beaming but not the juggling occurs is not true if the punctuation happens. sent15: the listening occurs if that the verge occurs is right. sent16: if the extinguishing Saginaw does not occur that the droning grace but not the butchery happens is wrong. sent17: if the droning coven does not occur then the extinguishing lipstick does not occur. sent18: the extinguishing Saginaw does not occur if that both the extinguishing Saginaw and the unsweptness happens is false. sent19: the punctuation occurs if the listening happens. sent20: if the submission does not occur that that the extinguishing Saginaw occurs and the unsweptness happens is wrong hold. sent21: that the extinguishing Constable does not occur is brought about by that the extinguishing lipstick does not occur and the droning coven happens. sent22: if the submission occurs or the extinguishing Saginaw happens or both then the carpal does not occur. sent23: that the disappointment occurs is prevented by that both the non-Cappadocianness and the bane occurs. sent24: if the fact that the forecasting does not occur is correct then both the verging and the non-unreproducibleness occurs. sent25: the unsweptness does not occur if the smut and the tertianness occurs.
void -> assump2: Let's assume that the smut and the non-tertianness occurs.; sent13 & assump2 -> int1: the unsweptness does not occur.; void -> assump1: Let's assume that the unsweptness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the smutting and the non-tertianness occurs is wrong.; int3 & sent6 -> int4: the extinguishing Saginaw happens.; int4 -> int5: the submission and/or the extinguishing Saginaw occurs.; int5 & sent22 -> int6: the carpalness does not occur.; sent8 & sent1 -> int7: both the juggling and the beaming happens.; int7 -> int8: the fact that the juggling happens is true.; sent3 & int8 -> int9: not the extinguishing lipstick but the droning coven happens.; sent21 & int9 -> int10: the extinguishing Constable does not occur.; int6 & int10 -> int11: the carpal does not occur and the extinguishing Constable does not occur.; [assump1] & int11 -> hypothesis;
that the droning grace but not the butchery happens does not hold.
$hypothesis$ = the carpalness does not occur and the extinguishing Constable does not occur if the unsweptness happens. ; $context$ = sent1: the punctuation does not occur. sent2: if the juggle happens then the droning coven happens. sent3: if the juggling happens then the extinguishing lipstick does not occur and the droning coven occurs. sent4: that the smut happens and the tertianness happens does not hold. sent5: that the producer happens leads to that the formalization does not occur and the extinguishing grout does not occur. sent6: the extinguishing Saginaw occurs if the fact that both the smutting and the non-tertianness occurs is not true. sent7: if the punctuation does not occur then the beaming occurs. sent8: both the juggling and the beaming occurs if the punctuation does not occur. sent9: if the fact that the carpal and/or the extinguishing Constable occurs is not correct then the submission does not occur. sent10: the tertianness does not occur. sent11: the fact that the droning coven occurs is right. sent12: if the tertianness happens that the extinguishing Saginaw occurs hold. sent13: that both the smut and the non-tertianness happens brings about the non-unsweptness. sent14: that the beaming but not the juggling occurs is not true if the punctuation happens. sent15: the listening occurs if that the verge occurs is right. sent16: if the extinguishing Saginaw does not occur that the droning grace but not the butchery happens is wrong. sent17: if the droning coven does not occur then the extinguishing lipstick does not occur. sent18: the extinguishing Saginaw does not occur if that both the extinguishing Saginaw and the unsweptness happens is false. sent19: the punctuation occurs if the listening happens. sent20: if the submission does not occur that that the extinguishing Saginaw occurs and the unsweptness happens is wrong hold. sent21: that the extinguishing Constable does not occur is brought about by that the extinguishing lipstick does not occur and the droning coven happens. sent22: if the submission occurs or the extinguishing Saginaw happens or both then the carpal does not occur. sent23: that the disappointment occurs is prevented by that both the non-Cappadocianness and the bane occurs. sent24: if the fact that the forecasting does not occur is correct then both the verging and the non-unreproducibleness occurs. sent25: the unsweptness does not occur if the smut and the tertianness occurs. ; $proof$ = 
void -> assump2: Let's assume that the smut and the non-tertianness occurs.; sent13 & assump2 -> int1: the unsweptness does not occur.; void -> assump1: Let's assume that the unsweptness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the smutting and the non-tertianness occurs is wrong.; int3 & sent6 -> int4: the extinguishing Saginaw happens.; int4 -> int5: the submission and/or the extinguishing Saginaw occurs.; int5 & sent22 -> int6: the carpalness does not occur.; sent8 & sent1 -> int7: both the juggling and the beaming happens.; int7 -> int8: the fact that the juggling happens is true.; sent3 & int8 -> int9: not the extinguishing lipstick but the droning coven happens.; sent21 & int9 -> int10: the extinguishing Constable does not occur.; int6 & int10 -> int11: the carpal does not occur and the extinguishing Constable does not occur.; [assump1] & int11 -> hypothesis; __PROVED__