that the mooring Mam happens and the staining happens is not true.
sent1: the powerlessness does not occur but the capitalizing occurs. sent2: the non-heterocercalness brings about that the theorizing does not occur. sent3: that either the propping contemporary does not occur or the theorizing happens or both does not hold if the heterocercalness does not occur. sent4: the staining occurs. sent5: the theorizing does not occur. sent6: the deflection does not occur. sent7: the invulnerableness occurs or the mooring RTLT does not occur or both. sent8: the formalisticness occurs and the liquidity happens. sent9: the pyrochemicalness happens. sent10: that the Taoistness does not occur and/or the anaclinalness occurs is not right if the literateness does not occur. sent11: that either the invulnerableness does not occur or the mooring RTLT does not occur or both leads to the besieging practiced. sent12: that the heterocercalness happens is prevented by that the besieging practiced happens and/or that the pureness occurs. sent13: if either the clickety-clack does not occur or the invention does not occur or both then the manifold happens. sent14: the bise does not occur but the countermeasure happens. sent15: the mooring Mam happens if the fact that the propping contemporary does not occur and/or the theorizing happens does not hold. sent16: the principalship occurs. sent17: the fact that that either the flexing does not occur or the friction happens or both is wrong is right. sent18: that the gastrostomy occurs yields that the clickety-clack does not occur. sent19: not the mooring RTLT but the principalship happens.
sent19 -> int1: the fact that the mooring RTLT does not occur hold.; int1 -> int2: the invulnerableness does not occur or the mooring RTLT does not occur or both.; int2 & sent11 -> int3: the besieging practiced happens.; int3 -> int4: either the besieging practiced or the pureness or both occurs.; int4 & sent12 -> int5: the heterocercalness does not occur.; int5 & sent3 -> int6: that the propping contemporary does not occur or the theorizing happens or both is incorrect.; int6 & sent15 -> int7: the mooring Mam happens.; int7 & sent4 -> hypothesis;
that both the mooring Mam and the staining happens is not true.
 -> hypothesis;
$hypothesis$ = that the mooring Mam happens and the staining happens is not true. ; $context$ = sent1: the powerlessness does not occur but the capitalizing occurs. sent2: the non-heterocercalness brings about that the theorizing does not occur. sent3: that either the propping contemporary does not occur or the theorizing happens or both does not hold if the heterocercalness does not occur. sent4: the staining occurs. sent5: the theorizing does not occur. sent6: the deflection does not occur. sent7: the invulnerableness occurs or the mooring RTLT does not occur or both. sent8: the formalisticness occurs and the liquidity happens. sent9: the pyrochemicalness happens. sent10: that the Taoistness does not occur and/or the anaclinalness occurs is not right if the literateness does not occur. sent11: that either the invulnerableness does not occur or the mooring RTLT does not occur or both leads to the besieging practiced. sent12: that the heterocercalness happens is prevented by that the besieging practiced happens and/or that the pureness occurs. sent13: if either the clickety-clack does not occur or the invention does not occur or both then the manifold happens. sent14: the bise does not occur but the countermeasure happens. sent15: the mooring Mam happens if the fact that the propping contemporary does not occur and/or the theorizing happens does not hold. sent16: the principalship occurs. sent17: the fact that that either the flexing does not occur or the friction happens or both is wrong is right. sent18: that the gastrostomy occurs yields that the clickety-clack does not occur. sent19: not the mooring RTLT but the principalship happens. ; $proof$ = 
sent19 -> int1: the fact that the mooring RTLT does not occur hold.; int1 -> int2: the invulnerableness does not occur or the mooring RTLT does not occur or both.; int2 & sent11 -> int3: the besieging practiced happens.; int3 -> int4: either the besieging practiced or the pureness or both occurs.; int4 & sent12 -> int5: the heterocercalness does not occur.; int5 & sent3 -> int6: that the propping contemporary does not occur or the theorizing happens or both is incorrect.; int6 & sent15 -> int7: the mooring Mam happens.; int7 & sent4 -> hypothesis; __DISPROVED__