that the high-low-jack happens but the incision does not occur does not hold.
sent1: the fact that the discountenancing milk but not the ballgame occurs does not hold if the fraying does not occur. sent2: if the incision occurs then the fact that the high-low-jack happens is correct. sent3: that the fraying does not occur is brought about by that the discountenancing transubstantiation but not the aweing Manawydan occurs. sent4: if the caravanning does not occur then that the high-low-jack occurs but the incision does not occur is false. sent5: if that the masterstroke does not occur but the manhandling orange occurs does not hold then the prewarness does not occur. sent6: the fact that the decortication does not occur but the risking occurs is not true if the discountenancing milk does not occur. sent7: the manhandling primus does not occur. sent8: that the discountenancing transubstantiation but not the aweing Manawydan happens is brought about by the non-hatlessness. sent9: that the high-low-jack occurs is brought about by that the rush does not occur. sent10: the fact that the rushing does not occur and the aluminousness does not occur is not correct. sent11: that not the masterstroke but the manhandling orange occurs is false if the Eucharist does not occur. sent12: if the fact that the masterstroke does not occur hold the fusillade does not occur. sent13: the Jovianness happens if the fact that the decortication does not occur and the risking occurs is not right. sent14: if the stemmer happens then the insufficientness happens. sent15: the caravan does not occur if not the fusillading but the associating occurs. sent16: the fact that the Eucharist happens is not incorrect. sent17: if the associating does not occur then the fact that both the Eucharist and the non-insufficientness occurs is not correct. sent18: if the Jovianness happens the binocularsness happens. sent19: if the masterstroke happens then the manhandling orange happens. sent20: if the masterstroke does not occur but the manhandling orange occurs then the incision does not occur. sent21: if the manhandling primus does not occur the flux occurs and the stemmer occurs. sent22: the insufficientness does not occur if the manhandling orange happens and the Eucharist happens. sent23: if the binocularsness occurs the flux does not occur and the manhandling primus occurs. sent24: either the incision happens or the rush does not occur or both if the aluminousness does not occur. sent25: if the fact that the flux does not occur hold then both the stemmer and the non-aluminousness occurs. sent26: that if that the discountenancing milk occurs and the ballgame does not occur does not hold then the discountenancing milk does not occur is correct.
void -> assump1: Let's assume that the masterstroke happens.; sent19 & assump1 -> int1: the manhandling orange occurs.; int1 & sent16 -> int2: both the manhandling orange and the Eucharist happens.; int2 & sent22 -> int3: the insufficientness does not occur.; sent21 & sent7 -> int4: both the flux and the stemmer happens.; int4 -> int5: the stemmer happens.; sent14 & int5 -> int6: the insufficientness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the masterstroke does not occur.; int8 & sent12 -> int9: the fusillading does not occur.;
the high-low-jack occurs but the incision does not occur.
$hypothesis$ = that the high-low-jack happens but the incision does not occur does not hold. ; $context$ = sent1: the fact that the discountenancing milk but not the ballgame occurs does not hold if the fraying does not occur. sent2: if the incision occurs then the fact that the high-low-jack happens is correct. sent3: that the fraying does not occur is brought about by that the discountenancing transubstantiation but not the aweing Manawydan occurs. sent4: if the caravanning does not occur then that the high-low-jack occurs but the incision does not occur is false. sent5: if that the masterstroke does not occur but the manhandling orange occurs does not hold then the prewarness does not occur. sent6: the fact that the decortication does not occur but the risking occurs is not true if the discountenancing milk does not occur. sent7: the manhandling primus does not occur. sent8: that the discountenancing transubstantiation but not the aweing Manawydan happens is brought about by the non-hatlessness. sent9: that the high-low-jack occurs is brought about by that the rush does not occur. sent10: the fact that the rushing does not occur and the aluminousness does not occur is not correct. sent11: that not the masterstroke but the manhandling orange occurs is false if the Eucharist does not occur. sent12: if the fact that the masterstroke does not occur hold the fusillade does not occur. sent13: the Jovianness happens if the fact that the decortication does not occur and the risking occurs is not right. sent14: if the stemmer happens then the insufficientness happens. sent15: the caravan does not occur if not the fusillading but the associating occurs. sent16: the fact that the Eucharist happens is not incorrect. sent17: if the associating does not occur then the fact that both the Eucharist and the non-insufficientness occurs is not correct. sent18: if the Jovianness happens the binocularsness happens. sent19: if the masterstroke happens then the manhandling orange happens. sent20: if the masterstroke does not occur but the manhandling orange occurs then the incision does not occur. sent21: if the manhandling primus does not occur the flux occurs and the stemmer occurs. sent22: the insufficientness does not occur if the manhandling orange happens and the Eucharist happens. sent23: if the binocularsness occurs the flux does not occur and the manhandling primus occurs. sent24: either the incision happens or the rush does not occur or both if the aluminousness does not occur. sent25: if the fact that the flux does not occur hold then both the stemmer and the non-aluminousness occurs. sent26: that if that the discountenancing milk occurs and the ballgame does not occur does not hold then the discountenancing milk does not occur is correct. ; $proof$ = 
void -> assump1: Let's assume that the masterstroke happens.; sent19 & assump1 -> int1: the manhandling orange occurs.; int1 & sent16 -> int2: both the manhandling orange and the Eucharist happens.; int2 & sent22 -> int3: the insufficientness does not occur.; sent21 & sent7 -> int4: both the flux and the stemmer happens.; int4 -> int5: the stemmer happens.; sent14 & int5 -> int6: the insufficientness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the masterstroke does not occur.; int8 & sent12 -> int9: the fusillading does not occur.; __UNKNOWN__