the pervaporation does not occur.
sent1: the non-nonnativeness prevents the gloriousness. sent2: the pervaporation does not occur if that the ingloriousness happens or the shoring chemical does not occur or both is false. sent3: the perviousness happens if the enucleation occurs. sent4: the pervaporation does not occur if the fact that the ingloriousness does not occur or the shoring chemical does not occur or both is false. sent5: the unassertiveness is brought about by the wheeling rectification. sent6: the auctioning is prevented by that the choragicness and the banditry happens. sent7: that the transaction does not occur yields the adynamicness. sent8: if that the unassertiveness and the perviousness happens hold then the nonnativeness does not occur. sent9: the fact that either the ingloriousness does not occur or the shoring chemical does not occur or both does not hold if the nonnativeness does not occur. sent10: the wheeling rectification happens. sent11: the ingloriousness occurs.
sent5 & sent10 -> int1: the unassertiveness occurs.;
$hypothesis$ = the pervaporation does not occur. ; $context$ = sent1: the non-nonnativeness prevents the gloriousness. sent2: the pervaporation does not occur if that the ingloriousness happens or the shoring chemical does not occur or both is false. sent3: the perviousness happens if the enucleation occurs. sent4: the pervaporation does not occur if the fact that the ingloriousness does not occur or the shoring chemical does not occur or both is false. sent5: the unassertiveness is brought about by the wheeling rectification. sent6: the auctioning is prevented by that the choragicness and the banditry happens. sent7: that the transaction does not occur yields the adynamicness. sent8: if that the unassertiveness and the perviousness happens hold then the nonnativeness does not occur. sent9: the fact that either the ingloriousness does not occur or the shoring chemical does not occur or both does not hold if the nonnativeness does not occur. sent10: the wheeling rectification happens. sent11: the ingloriousness occurs. ; $proof$ = 
sent5 & sent10 -> int1: the unassertiveness occurs.; __UNKNOWN__