the guardianship occurs and/or the backhanding does not occur.
sent1: if the adjudication does not occur the thermal occurs. sent2: that the leptosporangiateness does not occur or that the spade does not occur or both prevents that the heaping Bismarck happens. sent3: the guardianship or the backhandness or both occurs. sent4: the echoencephalography happens. sent5: if the shakedownness does not occur both the spading and the leptosporangiateness occurs. sent6: the orchiopexy occurs. sent7: if the fact that the delegacy does not occur hold then the sculling occurs. sent8: that both the stemlessness and the Ptolemaicness happens does not hold. sent9: the criticizing compilation does not occur if that that that the functionalness and the glorification occurs is not wrong is wrong hold. sent10: the differentiation does not occur. sent11: the lobbing calceus happens if the heaping Manipur does not occur. sent12: the spading does not occur if the fact that the fadeout and the monoclonalness occurs is not right. sent13: that the guardianship and/or the non-backhandness occurs is incorrect if the fact that the leptosporangiateness happens hold. sent14: that the fadeout happens and the monoclonalness happens is not correct if the leptosporangiateness does not occur. sent15: the separateness does not occur. sent16: if the spading does not occur the guardianship happens. sent17: the leptosporangiateness does not occur. sent18: if the monoclonalness does not occur the spading does not occur. sent19: the fact that both the acceleration and the pyrrhic happens is false.
sent14 & sent17 -> int1: that the fadeout occurs and the monoclonal happens is false.; sent12 & int1 -> int2: the spading does not occur.; sent16 & int2 -> int3: the guardianship happens.; int3 -> hypothesis;
that either the guardianship or the non-backhandness or both occurs is incorrect.
$hypothesis$ = the guardianship occurs and/or the backhanding does not occur. ; $context$ = sent1: if the adjudication does not occur the thermal occurs. sent2: that the leptosporangiateness does not occur or that the spade does not occur or both prevents that the heaping Bismarck happens. sent3: the guardianship or the backhandness or both occurs. sent4: the echoencephalography happens. sent5: if the shakedownness does not occur both the spading and the leptosporangiateness occurs. sent6: the orchiopexy occurs. sent7: if the fact that the delegacy does not occur hold then the sculling occurs. sent8: that both the stemlessness and the Ptolemaicness happens does not hold. sent9: the criticizing compilation does not occur if that that that the functionalness and the glorification occurs is not wrong is wrong hold. sent10: the differentiation does not occur. sent11: the lobbing calceus happens if the heaping Manipur does not occur. sent12: the spading does not occur if the fact that the fadeout and the monoclonalness occurs is not right. sent13: that the guardianship and/or the non-backhandness occurs is incorrect if the fact that the leptosporangiateness happens hold. sent14: that the fadeout happens and the monoclonalness happens is not correct if the leptosporangiateness does not occur. sent15: the separateness does not occur. sent16: if the spading does not occur the guardianship happens. sent17: the leptosporangiateness does not occur. sent18: if the monoclonalness does not occur the spading does not occur. sent19: the fact that both the acceleration and the pyrrhic happens is false. ; $proof$ = 
sent14 & sent17 -> int1: that the fadeout occurs and the monoclonal happens is false.; sent12 & int1 -> int2: the spading does not occur.; sent16 & int2 -> int3: the guardianship happens.; int3 -> hypothesis; __PROVED__