the fact that the fact that the ephedrine resents mantispid but it does not estivate is not correct if the hornbook does toilet-train ephedrine does not hold.
sent1: the fact that the hornbook estivates but it does not syllogize epicardia does not hold if the ephedrine does toilet-train ephedrine. sent2: that the ephedrine resents mantispid and it does estivate is false if the hornbook toilet-trains ephedrine. sent3: the ephedrine resents mantispid and does not estivate if the hornbook does toilet-train ephedrine. sent4: if the hornbook does syllogize epicardia then the ephedrine resents mantispid but it does not estivate. sent5: if the fact that the hornbook does syllogize epicardia is correct the fact that the ephedrine resents mantispid and does estivate is wrong. sent6: the archbishop does resent mantispid. sent7: if the hornbook syllogizes epicardia that the ephedrine resents mantispid but it does not estivate is wrong. sent8: the fact that the ephedrine does syllogize epicardia but it does not toilet-train ephedrine does not hold if the hornbook resents mantispid. sent9: something that does not syllogize epicardia and does toilet-train ephedrine does resent mantispid. sent10: if something toilet-trains ephedrine then the fact that it syllogizes external and it does not articulate herpetologist does not hold. sent11: if the hornbook toilet-trains ephedrine then it does syllogize epicardia. sent12: that the ephedrine does resent mantispid and it estivates is incorrect. sent13: if the ephedrine resents mantispid it syllogizes epicardia. sent14: the ephedrine does resent mantispid and does not estivate. sent15: the ephedrine resents mantispid but it does not toilet-train ephedrine if the hornbook estivates.
void -> assump1: Let's assume that the hornbook does toilet-train ephedrine.; sent11 & assump1 -> int1: the hornbook syllogizes epicardia.; sent7 & int1 -> int2: the fact that the ephedrine does resent mantispid and does not estivate is incorrect.; [assump1] & int2 -> hypothesis;
the winker resents mantispid.
sent9 -> int3: if the winker does not syllogize epicardia but it does toilet-train ephedrine then it resents mantispid.;
$hypothesis$ = the fact that the fact that the ephedrine resents mantispid but it does not estivate is not correct if the hornbook does toilet-train ephedrine does not hold. ; $context$ = sent1: the fact that the hornbook estivates but it does not syllogize epicardia does not hold if the ephedrine does toilet-train ephedrine. sent2: that the ephedrine resents mantispid and it does estivate is false if the hornbook toilet-trains ephedrine. sent3: the ephedrine resents mantispid and does not estivate if the hornbook does toilet-train ephedrine. sent4: if the hornbook does syllogize epicardia then the ephedrine resents mantispid but it does not estivate. sent5: if the fact that the hornbook does syllogize epicardia is correct the fact that the ephedrine resents mantispid and does estivate is wrong. sent6: the archbishop does resent mantispid. sent7: if the hornbook syllogizes epicardia that the ephedrine resents mantispid but it does not estivate is wrong. sent8: the fact that the ephedrine does syllogize epicardia but it does not toilet-train ephedrine does not hold if the hornbook resents mantispid. sent9: something that does not syllogize epicardia and does toilet-train ephedrine does resent mantispid. sent10: if something toilet-trains ephedrine then the fact that it syllogizes external and it does not articulate herpetologist does not hold. sent11: if the hornbook toilet-trains ephedrine then it does syllogize epicardia. sent12: that the ephedrine does resent mantispid and it estivates is incorrect. sent13: if the ephedrine resents mantispid it syllogizes epicardia. sent14: the ephedrine does resent mantispid and does not estivate. sent15: the ephedrine resents mantispid but it does not toilet-train ephedrine if the hornbook estivates. ; $proof$ = 
void -> assump1: Let's assume that the hornbook does toilet-train ephedrine.; sent11 & assump1 -> int1: the hornbook syllogizes epicardia.; sent7 & int1 -> int2: the fact that the ephedrine does resent mantispid and does not estivate is incorrect.; [assump1] & int2 -> hypothesis; __DISPROVED__