the flocking vintager does not occur.
sent1: the felony does not occur if the fact that the acidicness does not occur and the felony happens is incorrect. sent2: the suppurativeness occurs. sent3: if the carjacking PTO occurs and the carjacking disunity occurs then the oversight does not occur. sent4: that both the carjacking PTO and the flocking vintager happens does not hold if the carjacking disunity does not occur. sent5: that the felony does not occur and the phallicness does not occur is incorrect if the dominicalness does not occur. sent6: the carjacking prelim occurs. sent7: the carjacking disunity occurs. sent8: if the carjacking prelim happens the fact that that the acidicness happens but the mathematicalness does not occur is not correct hold. sent9: the flocking vintager occurs if that the felony does not occur and the phallicness does not occur is not correct. sent10: if the fact that both the expropriation and the sainthood happens is incorrect then the dominicalness does not occur. sent11: the oversight happens if that both the acidicness and the non-mathematicalness happens is wrong. sent12: that the blackbirdness happens and the copularness occurs does not hold. sent13: that the expropriation occurs and the sainthood occurs is incorrect if the carjacking PTO does not occur.
void -> assump1: Let's assume that the carjacking PTO happens.; assump1 & sent7 -> int1: the carjacking PTO happens and the carjacking disunity happens.; int1 & sent3 -> int2: the oversight does not occur.; sent8 & sent6 -> int3: the fact that both the acidicness and the non-mathematicalness happens is incorrect.; sent11 & int3 -> int4: the oversight happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the carjacking PTO does not occur.; int6 & sent13 -> int7: that the expropriation occurs and the sainthood happens is not correct.; int7 & sent10 -> int8: the dominicalness does not occur.; int8 & sent5 -> int9: that the felony does not occur and the phallicness does not occur does not hold.; int9 & sent9 -> hypothesis;
the flocking vintager does not occur.
$hypothesis$ = the flocking vintager does not occur. ; $context$ = sent1: the felony does not occur if the fact that the acidicness does not occur and the felony happens is incorrect. sent2: the suppurativeness occurs. sent3: if the carjacking PTO occurs and the carjacking disunity occurs then the oversight does not occur. sent4: that both the carjacking PTO and the flocking vintager happens does not hold if the carjacking disunity does not occur. sent5: that the felony does not occur and the phallicness does not occur is incorrect if the dominicalness does not occur. sent6: the carjacking prelim occurs. sent7: the carjacking disunity occurs. sent8: if the carjacking prelim happens the fact that that the acidicness happens but the mathematicalness does not occur is not correct hold. sent9: the flocking vintager occurs if that the felony does not occur and the phallicness does not occur is not correct. sent10: if the fact that both the expropriation and the sainthood happens is incorrect then the dominicalness does not occur. sent11: the oversight happens if that both the acidicness and the non-mathematicalness happens is wrong. sent12: that the blackbirdness happens and the copularness occurs does not hold. sent13: that the expropriation occurs and the sainthood occurs is incorrect if the carjacking PTO does not occur. ; $proof$ = 
void -> assump1: Let's assume that the carjacking PTO happens.; assump1 & sent7 -> int1: the carjacking PTO happens and the carjacking disunity happens.; int1 & sent3 -> int2: the oversight does not occur.; sent8 & sent6 -> int3: the fact that both the acidicness and the non-mathematicalness happens is incorrect.; sent11 & int3 -> int4: the oversight happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the carjacking PTO does not occur.; int6 & sent13 -> int7: that the expropriation occurs and the sainthood happens is not correct.; int7 & sent10 -> int8: the dominicalness does not occur.; int8 & sent5 -> int9: that the felony does not occur and the phallicness does not occur does not hold.; int9 & sent9 -> hypothesis; __DISPROVED__