that the cathecting quadrennium happens is prevented by the flocking Gond.
sent1: the fact that the downfall does not occur hold. sent2: the fact that the feud does not occur is right. sent3: the fact that the Creoleness and/or the launching occurs is incorrect if the rubbing does not occur. sent4: if the rescue does not occur then that the flocking absinthe or the administrativeness or both happens is false. sent5: that the psychosexualness and the cathecting craw happens is not right. sent6: the fact that both the psychosexualness and the cathecting craw occurs is false if the sentimentalization occurs. sent7: if the colloquium does not occur that the Serbian and/or the downfall happens is incorrect. sent8: that the philandering yacca does not occur hold. sent9: that the sentimentalization does not occur yields that the colloquium does not occur. sent10: that the externalness but not the blueing sailor's-choice happens is not correct. sent11: if that the psychosexualness happens and the cathecting craw does not occur does not hold that the flocking Gond does not occur is not false. sent12: the untidiness does not occur. sent13: if the fact that the psychosexualness happens and the cathecting craw does not occur is not true the flocking Gond happens. sent14: if the flocking Gond occurs the cathecting quadrennium occurs. sent15: if that either the Serbian or the downfall or both occurs is incorrect the cathecting quadrennium does not occur. sent16: the fact that the psychosexualness but not the cathecting craw occurs is not correct if the sentimentalization occurs. sent17: the flocking Gond does not occur if the cathecting craw happens. sent18: if the colloquium does not occur the downfall does not occur.
void -> assump1: Let's assume that that the flocking Gond happens is right.; void -> assump2: Let's assume that the sentimentalization occurs.; sent16 & assump2 -> int1: the fact that the psychosexualness happens but the cathecting craw does not occur is false.; sent11 & int1 -> int2: the fact that the flocking Gond does not occur hold.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the sentimentalization does not occur.; sent9 & int4 -> int5: the colloquium does not occur.; sent7 & int5 -> int6: the fact that the Serbianness or the downfall or both happens is wrong.; sent15 & int6 -> int7: the cathecting quadrennium does not occur.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that the cathecting quadrennium happens is prevented by the flocking Gond. ; $context$ = sent1: the fact that the downfall does not occur hold. sent2: the fact that the feud does not occur is right. sent3: the fact that the Creoleness and/or the launching occurs is incorrect if the rubbing does not occur. sent4: if the rescue does not occur then that the flocking absinthe or the administrativeness or both happens is false. sent5: that the psychosexualness and the cathecting craw happens is not right. sent6: the fact that both the psychosexualness and the cathecting craw occurs is false if the sentimentalization occurs. sent7: if the colloquium does not occur that the Serbian and/or the downfall happens is incorrect. sent8: that the philandering yacca does not occur hold. sent9: that the sentimentalization does not occur yields that the colloquium does not occur. sent10: that the externalness but not the blueing sailor's-choice happens is not correct. sent11: if that the psychosexualness happens and the cathecting craw does not occur does not hold that the flocking Gond does not occur is not false. sent12: the untidiness does not occur. sent13: if the fact that the psychosexualness happens and the cathecting craw does not occur is not true the flocking Gond happens. sent14: if the flocking Gond occurs the cathecting quadrennium occurs. sent15: if that either the Serbian or the downfall or both occurs is incorrect the cathecting quadrennium does not occur. sent16: the fact that the psychosexualness but not the cathecting craw occurs is not correct if the sentimentalization occurs. sent17: the flocking Gond does not occur if the cathecting craw happens. sent18: if the colloquium does not occur the downfall does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the flocking Gond happens is right.; void -> assump2: Let's assume that the sentimentalization occurs.; sent16 & assump2 -> int1: the fact that the psychosexualness happens but the cathecting craw does not occur is false.; sent11 & int1 -> int2: the fact that the flocking Gond does not occur hold.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the sentimentalization does not occur.; sent9 & int4 -> int5: the colloquium does not occur.; sent7 & int5 -> int6: the fact that the Serbianness or the downfall or both happens is wrong.; sent15 & int6 -> int7: the cathecting quadrennium does not occur.; [assump1] & int7 -> hypothesis; __PROVED__