the feature does not occur and the justification does not occur.
sent1: the fact that both the expiring liking and the dialing occurs is incorrect. sent2: that the Hittite and the pleomorphism occurs brings about that the omission does not occur. sent3: the crusading occurs. sent4: the collaring laboratory does not occur if the fact that both the uncared-forness and the collaring laboratory occurs is not correct. sent5: the estuarineness occurs. sent6: the feature does not occur and the justification does not occur if the tuberousness does not occur. sent7: the Bond occurs. sent8: the rout does not occur if that the baking happens and the rout happens does not hold. sent9: that the rank occurs and the sitcom occurs is wrong if the footfault does not occur. sent10: that both the chauvinism and the episcopate happens prevents the collaring earl. sent11: the broadsiding mat happens if the devitalization does not occur. sent12: the fact that the Athenian occurs hold. sent13: the unserviceableness does not occur if the interviewing occurs and the rentableness occurs. sent14: that the collaring dysgraphia does not occur but the guesstimating happens is false if the fact that the disqualification does not occur is correct. sent15: that both the rank and the unifying occurs prevents that the waterpower happens. sent16: the tuberousness does not occur if the gauntlet and the vocation happens. sent17: the pleomorphism does not occur. sent18: the gauntlet happens if the disqualification happens. sent19: that the episcopate happens is true. sent20: the chauvinism occurs. sent21: the efflorescing does not occur and the expiring Pasteur does not occur if the excuse does not occur. sent22: the fact that the fingerprinting occurs and the glorifying occurs is incorrect. sent23: that the vocation and the broadsiding name occurs is brought about by that the dial does not occur. sent24: the fact that the grant does not occur is not incorrect. sent25: the collaring Messidor occurs. sent26: that the collaring earl occurs is right if the fact that not the collaring dysgraphia but the guesstimating occurs is not correct.
void -> assump1: Let's assume that the disqualification does not occur.; sent14 & assump1 -> int1: that not the collaring dysgraphia but the guesstimate happens is false.; int1 & sent26 -> int2: the collaring earl happens.; sent20 & sent19 -> int3: that the chauvinism and the episcopate happens hold.; sent10 & int3 -> int4: the fact that the collaring earl does not occur is not false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the disqualification occurs.; int6 & sent18 -> int7: the gauntlet happens.;
the fact that the feature does not occur and the justification does not occur is not correct.
 -> hypothesis;
$hypothesis$ = the feature does not occur and the justification does not occur. ; $context$ = sent1: the fact that both the expiring liking and the dialing occurs is incorrect. sent2: that the Hittite and the pleomorphism occurs brings about that the omission does not occur. sent3: the crusading occurs. sent4: the collaring laboratory does not occur if the fact that both the uncared-forness and the collaring laboratory occurs is not correct. sent5: the estuarineness occurs. sent6: the feature does not occur and the justification does not occur if the tuberousness does not occur. sent7: the Bond occurs. sent8: the rout does not occur if that the baking happens and the rout happens does not hold. sent9: that the rank occurs and the sitcom occurs is wrong if the footfault does not occur. sent10: that both the chauvinism and the episcopate happens prevents the collaring earl. sent11: the broadsiding mat happens if the devitalization does not occur. sent12: the fact that the Athenian occurs hold. sent13: the unserviceableness does not occur if the interviewing occurs and the rentableness occurs. sent14: that the collaring dysgraphia does not occur but the guesstimating happens is false if the fact that the disqualification does not occur is correct. sent15: that both the rank and the unifying occurs prevents that the waterpower happens. sent16: the tuberousness does not occur if the gauntlet and the vocation happens. sent17: the pleomorphism does not occur. sent18: the gauntlet happens if the disqualification happens. sent19: that the episcopate happens is true. sent20: the chauvinism occurs. sent21: the efflorescing does not occur and the expiring Pasteur does not occur if the excuse does not occur. sent22: the fact that the fingerprinting occurs and the glorifying occurs is incorrect. sent23: that the vocation and the broadsiding name occurs is brought about by that the dial does not occur. sent24: the fact that the grant does not occur is not incorrect. sent25: the collaring Messidor occurs. sent26: that the collaring earl occurs is right if the fact that not the collaring dysgraphia but the guesstimating occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the disqualification does not occur.; sent14 & assump1 -> int1: that not the collaring dysgraphia but the guesstimate happens is false.; int1 & sent26 -> int2: the collaring earl happens.; sent20 & sent19 -> int3: that the chauvinism and the episcopate happens hold.; sent10 & int3 -> int4: the fact that the collaring earl does not occur is not false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the disqualification occurs.; int6 & sent18 -> int7: the gauntlet happens.; __UNKNOWN__