the ELISA does not occur if the intimating occurs.
sent1: the mellowing conflicting does not occur. sent2: the hypovolemicness does not occur. sent3: the granuliferousness occurs. sent4: the chalybeateness prevents the spanging obsessiveness. sent5: the intimating and the mellowing peridinian occurs if the ELISA occurs. sent6: the sideswiping does not occur. sent7: the handicraft does not occur. sent8: the conditioner happens. sent9: the fact that the mellowing cult does not occur is right. sent10: if the ELISA happens then the mellowing peridinian happens. sent11: that the leaflessness occurs leads to that both the non-Prussianness and the finerness happens. sent12: the spanging obsessiveness happens. sent13: that the ELISA occurs causes that not the intimating but the mellowing peridinian occurs. sent14: that the intimating occurs results in that the ELISA occurs. sent15: the mellowing peridinian occurs. sent16: the urceolateness does not occur. sent17: if the indirection happens then the Rosicrucian does not occur.
void -> assump2: Let's assume that the ELISA occurs.; sent13 & assump2 -> int1: the intimating does not occur but the mellowing peridinian happens.; int1 -> int2: the intimating does not occur.; void -> assump1: Let's assume that the fact that the intimating happens is true.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the ELISA does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the ELISA does not occur if the intimating occurs. ; $context$ = sent1: the mellowing conflicting does not occur. sent2: the hypovolemicness does not occur. sent3: the granuliferousness occurs. sent4: the chalybeateness prevents the spanging obsessiveness. sent5: the intimating and the mellowing peridinian occurs if the ELISA occurs. sent6: the sideswiping does not occur. sent7: the handicraft does not occur. sent8: the conditioner happens. sent9: the fact that the mellowing cult does not occur is right. sent10: if the ELISA happens then the mellowing peridinian happens. sent11: that the leaflessness occurs leads to that both the non-Prussianness and the finerness happens. sent12: the spanging obsessiveness happens. sent13: that the ELISA occurs causes that not the intimating but the mellowing peridinian occurs. sent14: that the intimating occurs results in that the ELISA occurs. sent15: the mellowing peridinian occurs. sent16: the urceolateness does not occur. sent17: if the indirection happens then the Rosicrucian does not occur. ; $proof$ = 
void -> assump2: Let's assume that the ELISA occurs.; sent13 & assump2 -> int1: the intimating does not occur but the mellowing peridinian happens.; int1 -> int2: the intimating does not occur.; void -> assump1: Let's assume that the fact that the intimating happens is true.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the ELISA does not occur.; [assump1] & int4 -> hypothesis; __PROVED__