the perception and the elopement occurs.
sent1: the fart does not occur if the fact that either the take-in does not occur or the diffusing Rastafarian happens or both is not correct. sent2: the jag happens if the fact that the diffusing Rastafarian occurs and the farting does not occur is not right. sent3: that the abandoning kerchief occurs but the sit-down does not occur does not hold if the abundantness happens. sent4: that the fart does not occur and the diffusing Rastafarian happens is wrong. sent5: if that the abandoning kerchief occurs and the sit-down does not occur does not hold then the abandoning kerchief does not occur. sent6: if the fact that that the fart does not occur and the diffusing Rastafarian does not occur is wrong is not incorrect that the perception happens is not incorrect. sent7: if the rummaging does not occur either the polymericness or the cyclonicness or both happens. sent8: the rummaging does not occur if the fact that the patient does not occur but the refreshment occurs does not hold. sent9: the raging does not occur but the abundantness occurs. sent10: if the anthropometricness does not occur then that that the amount occurs and the debriefing puppeteer occurs hold is wrong. sent11: if the fart does not occur then that the perception and the elopement happens is incorrect. sent12: the anthropometricness does not occur and the diffusing survivor does not occur if the abandoning kerchief does not occur. sent13: that the diffusing machine does not occur but the abandoning Chancellorsville occurs causes that the investigating citrus does not occur. sent14: the diffusing machine does not occur if that both the amounting and the debriefing puppeteer happens is wrong. sent15: the fact that either the take-in does not occur or the diffusing Rastafarian happens or both is false if the fact that the investigating citrus does not occur is correct. sent16: that the non-patientness and the refreshment happens is false if the trimming does not occur. sent17: the diffusing Rastafarian occurs.
void -> assump1: Let's assume that the farting does not occur and the diffusing Rastafarian does not occur.; assump1 -> int1: the diffusing Rastafarian does not occur.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the fart does not occur and the diffusing Rastafarian does not occur is wrong.; int3 & sent6 -> int4: the perception happens.;
the jagging happens.
$hypothesis$ = the perception and the elopement occurs. ; $context$ = sent1: the fart does not occur if the fact that either the take-in does not occur or the diffusing Rastafarian happens or both is not correct. sent2: the jag happens if the fact that the diffusing Rastafarian occurs and the farting does not occur is not right. sent3: that the abandoning kerchief occurs but the sit-down does not occur does not hold if the abundantness happens. sent4: that the fart does not occur and the diffusing Rastafarian happens is wrong. sent5: if that the abandoning kerchief occurs and the sit-down does not occur does not hold then the abandoning kerchief does not occur. sent6: if the fact that that the fart does not occur and the diffusing Rastafarian does not occur is wrong is not incorrect that the perception happens is not incorrect. sent7: if the rummaging does not occur either the polymericness or the cyclonicness or both happens. sent8: the rummaging does not occur if the fact that the patient does not occur but the refreshment occurs does not hold. sent9: the raging does not occur but the abundantness occurs. sent10: if the anthropometricness does not occur then that that the amount occurs and the debriefing puppeteer occurs hold is wrong. sent11: if the fart does not occur then that the perception and the elopement happens is incorrect. sent12: the anthropometricness does not occur and the diffusing survivor does not occur if the abandoning kerchief does not occur. sent13: that the diffusing machine does not occur but the abandoning Chancellorsville occurs causes that the investigating citrus does not occur. sent14: the diffusing machine does not occur if that both the amounting and the debriefing puppeteer happens is wrong. sent15: the fact that either the take-in does not occur or the diffusing Rastafarian happens or both is false if the fact that the investigating citrus does not occur is correct. sent16: that the non-patientness and the refreshment happens is false if the trimming does not occur. sent17: the diffusing Rastafarian occurs. ; $proof$ = 
void -> assump1: Let's assume that the farting does not occur and the diffusing Rastafarian does not occur.; assump1 -> int1: the diffusing Rastafarian does not occur.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the fart does not occur and the diffusing Rastafarian does not occur is wrong.; int3 & sent6 -> int4: the perception happens.; __UNKNOWN__