that if the chinaware is not ascosporic then the pseudoephedrine does not stagger correspondence is not right.
sent1: something is ascosporic and it staggers correspondence. sent2: something does stagger Eisenstaedt and is ascosporic. sent3: the pseudoephedrine staggers Eisenstaedt. sent4: the pseudoephedrine does not stagger correspondence if that the chinaware is not non-ascosporic is not false. sent5: there is something such that it does stagger correspondence. sent6: if the pseudoephedrine staggers Eisenstaedt and it is ascosporic then the antineoplastic does not staggers Eisenstaedt. sent7: the chinaware does stagger Eisenstaedt. sent8: the pseudoephedrine is not a flashover. sent9: the convolvulus is not ascosporic. sent10: the pseudoephedrine does fail sentimentality and it does pass. sent11: if something staggers Eisenstaedt and it does stagger correspondence the chinaware is ascosporic. sent12: if the chinaware is not ascosporic then that the pseudoephedrine does stagger correspondence is not wrong. sent13: there exists something such that it does stagger Eisenstaedt. sent14: The Eisenstaedt staggers pseudoephedrine.
void -> assump1: Let's assume that the pseudoephedrine staggers correspondence.; sent3 & assump1 -> int1: the pseudoephedrine staggers Eisenstaedt and does stagger correspondence.; int1 -> int2: something staggers Eisenstaedt and staggers correspondence.; int2 & sent11 -> int3: the fact that the chinaware is ascosporic hold.; void -> assump2: Let's assume that the chinaware is not ascosporic.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pseudoephedrine does not stagger correspondence.; [assump2] & int5 -> hypothesis;
the antineoplastic does not stagger Eisenstaedt.
$hypothesis$ = that if the chinaware is not ascosporic then the pseudoephedrine does not stagger correspondence is not right. ; $context$ = sent1: something is ascosporic and it staggers correspondence. sent2: something does stagger Eisenstaedt and is ascosporic. sent3: the pseudoephedrine staggers Eisenstaedt. sent4: the pseudoephedrine does not stagger correspondence if that the chinaware is not non-ascosporic is not false. sent5: there is something such that it does stagger correspondence. sent6: if the pseudoephedrine staggers Eisenstaedt and it is ascosporic then the antineoplastic does not staggers Eisenstaedt. sent7: the chinaware does stagger Eisenstaedt. sent8: the pseudoephedrine is not a flashover. sent9: the convolvulus is not ascosporic. sent10: the pseudoephedrine does fail sentimentality and it does pass. sent11: if something staggers Eisenstaedt and it does stagger correspondence the chinaware is ascosporic. sent12: if the chinaware is not ascosporic then that the pseudoephedrine does stagger correspondence is not wrong. sent13: there exists something such that it does stagger Eisenstaedt. sent14: The Eisenstaedt staggers pseudoephedrine. ; $proof$ = 
void -> assump1: Let's assume that the pseudoephedrine staggers correspondence.; sent3 & assump1 -> int1: the pseudoephedrine staggers Eisenstaedt and does stagger correspondence.; int1 -> int2: something staggers Eisenstaedt and staggers correspondence.; int2 & sent11 -> int3: the fact that the chinaware is ascosporic hold.; void -> assump2: Let's assume that the chinaware is not ascosporic.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pseudoephedrine does not stagger correspondence.; [assump2] & int5 -> hypothesis; __DISPROVED__