the phosphorescence happens and the guiltiness occurs.
sent1: the canineness occurs. sent2: the sickness occurs. sent3: that the progressiveness does not occur but the ineligibleness occurs prevents that the stagging happens. sent4: if the canineness occurs but the phosphorescence does not occur the arriving backseat does not occur. sent5: the parlay does not occur if the passing does not occur and/or the stubbing cobalamin happens. sent6: the harmattan happens. sent7: that the smoothness occurs is right. sent8: if the company does not occur the arriving feverroot does not occur. sent9: that both the non-progressiveness and the ineligibleness happens is triggered by that the arriving zoologist does not occur. sent10: if the parlaying does not occur the fact that the arriving zoologist happens and the curbing tailcoat does not occur is incorrect. sent11: that the canine happens is prevented by that the phosphorescence does not occur. sent12: the uvealness occurs. sent13: if the abomasalness does not occur both the sickness and the antic occurs. sent14: if not the canineness but the phosphorescence occurs the stubbing molindone happens. sent15: the fact that the guiltiness happens is not wrong. sent16: if the interrogation does not occur the middlingness does not occur. sent17: the arriving zoologist does not occur if the fact that the arriving zoologist but not the curbing tailcoat occurs is not right. sent18: the non-guiltiness and the non-northness happens if the antic happens. sent19: the fives occurs. sent20: that the stag does not occur leads to that both the non-cytoarchitecturalness and the non-abomasalness happens.
void -> assump1: Let's assume that the phosphorescence does not occur.; sent11 & assump1 -> int1: the canine does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the phosphorescence occurs.; int3 & sent15 -> hypothesis;
the fact that the fact that the phosphorescence and the guiltiness happens hold is incorrect.
 -> hypothesis;
$hypothesis$ = the phosphorescence happens and the guiltiness occurs. ; $context$ = sent1: the canineness occurs. sent2: the sickness occurs. sent3: that the progressiveness does not occur but the ineligibleness occurs prevents that the stagging happens. sent4: if the canineness occurs but the phosphorescence does not occur the arriving backseat does not occur. sent5: the parlay does not occur if the passing does not occur and/or the stubbing cobalamin happens. sent6: the harmattan happens. sent7: that the smoothness occurs is right. sent8: if the company does not occur the arriving feverroot does not occur. sent9: that both the non-progressiveness and the ineligibleness happens is triggered by that the arriving zoologist does not occur. sent10: if the parlaying does not occur the fact that the arriving zoologist happens and the curbing tailcoat does not occur is incorrect. sent11: that the canine happens is prevented by that the phosphorescence does not occur. sent12: the uvealness occurs. sent13: if the abomasalness does not occur both the sickness and the antic occurs. sent14: if not the canineness but the phosphorescence occurs the stubbing molindone happens. sent15: the fact that the guiltiness happens is not wrong. sent16: if the interrogation does not occur the middlingness does not occur. sent17: the arriving zoologist does not occur if the fact that the arriving zoologist but not the curbing tailcoat occurs is not right. sent18: the non-guiltiness and the non-northness happens if the antic happens. sent19: the fives occurs. sent20: that the stag does not occur leads to that both the non-cytoarchitecturalness and the non-abomasalness happens. ; $proof$ = 
void -> assump1: Let's assume that the phosphorescence does not occur.; sent11 & assump1 -> int1: the canine does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the phosphorescence occurs.; int3 & sent15 -> hypothesis; __PROVED__