the apetalousness occurs.
sent1: the unforgettableness does not occur if the fact that the angiography does not occur and the corrugation does not occur is not correct. sent2: the sartorialness happens if that either the tossing fleer or the non-bifilarness or both happens is not true. sent3: that the angiography but not the corrugation occurs is not right. sent4: that not the schooling but the celioscopy occurs is brought about by the unforgettableness. sent5: the fact that either the aortalness happens or the honing heaviness does not occur or both does not hold if the celioscopy does not occur. sent6: the fact that that the angiography does not occur and the corrugation does not occur hold does not hold. sent7: if that the outgrowing kanchil does not occur is not incorrect the fact that the serve occurs and/or the dockage does not occur is not false. sent8: that the apetalousness happens is prevented by that the blunder happens and the serve happens. sent9: that the incestuousness does not occur hold. sent10: not the outgrowing kanchil but the Booleanness happens. sent11: if the fact that either the aortalness occurs or the honing heaviness does not occur or both is incorrect the blunder occurs. sent12: the honing heaviness occurs. sent13: if the honing heaviness does not occur then the unforgettableness and the aortalness occurs. sent14: the serve occurs. sent15: that not the unforgettableness but the celioscopy happens is false. sent16: that the blunder happens is right if the fact that either the aortalness or the honing heaviness or both happens does not hold. sent17: the freckle occurs.
sent1 & sent6 -> int1: the unforgettableness does not occur.; void -> assump1: Let's assume that the celioscopy occurs.; int1 & assump1 -> int2: not the unforgettableness but the celioscopy happens.; int2 & sent15 -> int3: this is contradiction.; [assump1] & int3 -> int4: the celioscopy does not occur.; int4 & sent5 -> int5: that the aortalness happens or the honing heaviness does not occur or both does not hold.; int5 & sent11 -> int6: the blunder happens.; int6 & sent14 -> int7: that the blunder happens and the serve occurs is not incorrect.; int7 & sent8 -> hypothesis;
the apetalousness occurs.
sent10 -> int8: that the outgrowing kanchil does not occur hold.; sent7 & int8 -> int9: the serving happens or the dockage does not occur or both.;
$hypothesis$ = the apetalousness occurs. ; $context$ = sent1: the unforgettableness does not occur if the fact that the angiography does not occur and the corrugation does not occur is not correct. sent2: the sartorialness happens if that either the tossing fleer or the non-bifilarness or both happens is not true. sent3: that the angiography but not the corrugation occurs is not right. sent4: that not the schooling but the celioscopy occurs is brought about by the unforgettableness. sent5: the fact that either the aortalness happens or the honing heaviness does not occur or both does not hold if the celioscopy does not occur. sent6: the fact that that the angiography does not occur and the corrugation does not occur hold does not hold. sent7: if that the outgrowing kanchil does not occur is not incorrect the fact that the serve occurs and/or the dockage does not occur is not false. sent8: that the apetalousness happens is prevented by that the blunder happens and the serve happens. sent9: that the incestuousness does not occur hold. sent10: not the outgrowing kanchil but the Booleanness happens. sent11: if the fact that either the aortalness occurs or the honing heaviness does not occur or both is incorrect the blunder occurs. sent12: the honing heaviness occurs. sent13: if the honing heaviness does not occur then the unforgettableness and the aortalness occurs. sent14: the serve occurs. sent15: that not the unforgettableness but the celioscopy happens is false. sent16: that the blunder happens is right if the fact that either the aortalness or the honing heaviness or both happens does not hold. sent17: the freckle occurs. ; $proof$ = 
sent1 & sent6 -> int1: the unforgettableness does not occur.; void -> assump1: Let's assume that the celioscopy occurs.; int1 & assump1 -> int2: not the unforgettableness but the celioscopy happens.; int2 & sent15 -> int3: this is contradiction.; [assump1] & int3 -> int4: the celioscopy does not occur.; int4 & sent5 -> int5: that the aortalness happens or the honing heaviness does not occur or both does not hold.; int5 & sent11 -> int6: the blunder happens.; int6 & sent14 -> int7: that the blunder happens and the serve occurs is not incorrect.; int7 & sent8 -> hypothesis; __DISPROVED__