the bedewing axon does not occur and the maintenance happens.
sent1: if the Singaporean does not occur then the tallying does not occur. sent2: not the pyrographicness but the meridionalness occurs. sent3: both the non-colloidalness and the disjointing happens. sent4: that the disjunctiveness does not occur is right. sent5: the auto-da-fe does not occur. sent6: the caffeinicness happens. sent7: the non-lucifugousness brings about the non-neocorticalness. sent8: that the northeaster does not occur yields that both the caffeinicness and the maintenance occurs. sent9: the fact that both the stableness and the harrying Khuen occurs does not hold if the immolation does not occur. sent10: the bedewing axon does not occur if the stable does not occur. sent11: if the bedewing tollkeeper occurs the fact that the colloidalness occurs hold. sent12: that the encrusting hawala does not occur causes that the palatineness and the decrepitation happens. sent13: if the idiopathicness does not occur the fact that the numericalness happens and the maddening occurs does not hold. sent14: the northeaster does not occur and the auto-da-fe does not occur. sent15: the reissuing anthropomorphism and the harrying haw occurs. sent16: if the northeaster does not occur the caffeinicness happens. sent17: the fact that the reissuing anthropomorphism and the aversion happens does not hold if the rummage does not occur. sent18: if that the damping occurs and the occult occurs is incorrect the bedewing swearer does not occur. sent19: the encrusting convict does not occur. sent20: the disjointing happens. sent21: the preparation does not occur. sent22: if the bedewing tollkeeper does not occur the immolation does not occur. sent23: the fact that the dodging and the sinning occurs is false. sent24: not the harrying coreid but the stainableness happens. sent25: both the adenoidness and the persuasion occurs if the informativeness does not occur. sent26: the arbitration does not occur.
void -> assump1: Let's assume that the bedewing tollkeeper happens.; sent11 & assump1 -> int1: the colloidalness occurs.; sent3 -> int2: the fact that the colloidalness does not occur hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bedewing tollkeeper does not occur.; int4 & sent22 -> int5: the immolation does not occur.; int5 & sent9 -> int6: that the fact that the stableness and the harrying Khuen occurs does not hold is right.; sent14 -> int7: the northeaster does not occur.; sent8 & int7 -> int8: the caffeinicness happens and the maintenance occurs.; int8 -> int9: the maintenance happens.;
that the bedewing axon does not occur but the maintenance occurs is wrong.
 -> hypothesis;
$hypothesis$ = the bedewing axon does not occur and the maintenance happens. ; $context$ = sent1: if the Singaporean does not occur then the tallying does not occur. sent2: not the pyrographicness but the meridionalness occurs. sent3: both the non-colloidalness and the disjointing happens. sent4: that the disjunctiveness does not occur is right. sent5: the auto-da-fe does not occur. sent6: the caffeinicness happens. sent7: the non-lucifugousness brings about the non-neocorticalness. sent8: that the northeaster does not occur yields that both the caffeinicness and the maintenance occurs. sent9: the fact that both the stableness and the harrying Khuen occurs does not hold if the immolation does not occur. sent10: the bedewing axon does not occur if the stable does not occur. sent11: if the bedewing tollkeeper occurs the fact that the colloidalness occurs hold. sent12: that the encrusting hawala does not occur causes that the palatineness and the decrepitation happens. sent13: if the idiopathicness does not occur the fact that the numericalness happens and the maddening occurs does not hold. sent14: the northeaster does not occur and the auto-da-fe does not occur. sent15: the reissuing anthropomorphism and the harrying haw occurs. sent16: if the northeaster does not occur the caffeinicness happens. sent17: the fact that the reissuing anthropomorphism and the aversion happens does not hold if the rummage does not occur. sent18: if that the damping occurs and the occult occurs is incorrect the bedewing swearer does not occur. sent19: the encrusting convict does not occur. sent20: the disjointing happens. sent21: the preparation does not occur. sent22: if the bedewing tollkeeper does not occur the immolation does not occur. sent23: the fact that the dodging and the sinning occurs is false. sent24: not the harrying coreid but the stainableness happens. sent25: both the adenoidness and the persuasion occurs if the informativeness does not occur. sent26: the arbitration does not occur. ; $proof$ = 
void -> assump1: Let's assume that the bedewing tollkeeper happens.; sent11 & assump1 -> int1: the colloidalness occurs.; sent3 -> int2: the fact that the colloidalness does not occur hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bedewing tollkeeper does not occur.; int4 & sent22 -> int5: the immolation does not occur.; int5 & sent9 -> int6: that the fact that the stableness and the harrying Khuen occurs does not hold is right.; sent14 -> int7: the northeaster does not occur.; sent8 & int7 -> int8: the caffeinicness happens and the maintenance occurs.; int8 -> int9: the maintenance happens.; __UNKNOWN__