the pumpkin does antisepticize Coriandrum.
sent1: the pumpkin does antisepticize Coriandrum if there is something such that the fact that it is a botany is not wrong. sent2: something that antisepticizes axerophthol does not antisepticize Coriandrum. sent3: the vomitory is a areca. sent4: the pumpkin is hypovolemic. sent5: the trowel does antisepticize axerophthol and is a kind of a formulary if it is not a kind of a Esselen. sent6: the pumpkin does not antisepticize Coriandrum if the blini does not antisepticize Coriandrum. sent7: the blini does antisepticize Coriandrum and/or it is a kind of a digestive. sent8: the trowel is not a kind of a Esselen. sent9: the blini is catoptrics. sent10: if the vomitory is not a Esselen or it is not a kind of a formulary or both then the trowel antisepticizes axerophthol. sent11: the vomitory is either not a Esselen or not formulary or both if it is a areca.
sent9 -> int1: either the blini is catoptrics or it is a kind of a botany or both.; int1 -> int2: there is something such that it either is catoptrics or is a botany or both.;
the blini is electromechanical.
sent2 -> int3: the trowel does not antisepticize Coriandrum if it antisepticizes axerophthol.; sent11 & sent3 -> int4: the vomitory is not a kind of a Esselen and/or it is not formulary.; sent10 & int4 -> int5: the trowel does antisepticize axerophthol.; int3 & int5 -> int6: that the trowel does not antisepticize Coriandrum hold.; int6 -> int7: there exists something such that it does not antisepticize Coriandrum.;
$hypothesis$ = the pumpkin does antisepticize Coriandrum. ; $context$ = sent1: the pumpkin does antisepticize Coriandrum if there is something such that the fact that it is a botany is not wrong. sent2: something that antisepticizes axerophthol does not antisepticize Coriandrum. sent3: the vomitory is a areca. sent4: the pumpkin is hypovolemic. sent5: the trowel does antisepticize axerophthol and is a kind of a formulary if it is not a kind of a Esselen. sent6: the pumpkin does not antisepticize Coriandrum if the blini does not antisepticize Coriandrum. sent7: the blini does antisepticize Coriandrum and/or it is a kind of a digestive. sent8: the trowel is not a kind of a Esselen. sent9: the blini is catoptrics. sent10: if the vomitory is not a Esselen or it is not a kind of a formulary or both then the trowel antisepticizes axerophthol. sent11: the vomitory is either not a Esselen or not formulary or both if it is a areca. ; $proof$ = 
sent9 -> int1: either the blini is catoptrics or it is a kind of a botany or both.; int1 -> int2: there is something such that it either is catoptrics or is a botany or both.; __UNKNOWN__