the fact that the launching does not occur if the decreasing Sisyridae occurs does not hold.
sent1: the launching occurs. sent2: if the fact that the decreasing Sisyridae happens is correct the launching occurs. sent3: the ctenoidness and/or the Venetian happens. sent4: the fact that the tartaricness occurs is not incorrect. sent5: the enfeoffing Isis happens if the enfeoffing flint occurs. sent6: that the Gilbertianness occurs yields that the enfeoffing spongefly occurs. sent7: the creaming Buffalo occurs if the creaming ELISA occurs. sent8: the intending does not occur. sent9: the decreasing chevron does not occur if the loving happens. sent10: the launching and the production happens if the fact that the lavishness does not occur is not wrong. sent11: the launching happens if the decreasing racking occurs or the enfeoffing Isis occurs or both. sent12: the fact that the pirouetting happens is correct. sent13: either that the decreasing racking happens or the enfeoffing Isis or both triggers that the launching does not occur. sent14: if the fact that both the lavishness and the aneurysmalness occurs is wrong then the lavishness does not occur. sent15: either the creaming thwack happens or the narialness happens or both. sent16: if the decreasing Sisyridae happens the enfeoffing flint happens. sent17: if the decreasing racking occurs the launching does not occur. sent18: if the littoral does not occur the fact that both the lavishness and the aneurysmalness happens is not correct.
void -> assump1: Let's assume that the decreasing Sisyridae happens.; sent16 & assump1 -> int1: the enfeoffing flint occurs.; sent5 & int1 -> int2: the enfeoffing Isis happens.; int2 -> int3: the decreasing racking or the enfeoffing Isis or both occurs.; sent13 & int3 -> int4: the launching does not occur.; [assump1] & int4 -> hypothesis;
the creaming jostle occurs.
$hypothesis$ = the fact that the launching does not occur if the decreasing Sisyridae occurs does not hold. ; $context$ = sent1: the launching occurs. sent2: if the fact that the decreasing Sisyridae happens is correct the launching occurs. sent3: the ctenoidness and/or the Venetian happens. sent4: the fact that the tartaricness occurs is not incorrect. sent5: the enfeoffing Isis happens if the enfeoffing flint occurs. sent6: that the Gilbertianness occurs yields that the enfeoffing spongefly occurs. sent7: the creaming Buffalo occurs if the creaming ELISA occurs. sent8: the intending does not occur. sent9: the decreasing chevron does not occur if the loving happens. sent10: the launching and the production happens if the fact that the lavishness does not occur is not wrong. sent11: the launching happens if the decreasing racking occurs or the enfeoffing Isis occurs or both. sent12: the fact that the pirouetting happens is correct. sent13: either that the decreasing racking happens or the enfeoffing Isis or both triggers that the launching does not occur. sent14: if the fact that both the lavishness and the aneurysmalness occurs is wrong then the lavishness does not occur. sent15: either the creaming thwack happens or the narialness happens or both. sent16: if the decreasing Sisyridae happens the enfeoffing flint happens. sent17: if the decreasing racking occurs the launching does not occur. sent18: if the littoral does not occur the fact that both the lavishness and the aneurysmalness happens is not correct. ; $proof$ = 
void -> assump1: Let's assume that the decreasing Sisyridae happens.; sent16 & assump1 -> int1: the enfeoffing flint occurs.; sent5 & int1 -> int2: the enfeoffing Isis happens.; int2 -> int3: the decreasing racking or the enfeoffing Isis or both occurs.; sent13 & int3 -> int4: the launching does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__