the narc does not excel carefreeness if the vent is not a wop.
sent1: something is not a Glaswegian or it is not a kind of a drogue or both. sent2: the vent is not a garroter if there is something such that it is not a kind of a smith and it does heft urologist. sent3: something is not microcosmic. sent4: if that the vent is not a kind of a ECC and is not low-tech is false then the liverwort is not a ECC. sent5: the fact that the Orangeman is not a volumeter is true. sent6: if there is something such that it is not a kind of a volumeter then that the vent is not a garroter and is not a wop does not hold. sent7: if the liverwort does not excel carefreeness then the narc is a smith. sent8: the liverwort is not a kind of a smith and does not heft urologist if the narc does excel carefreeness. sent9: the liverwort is a latest and it excels dirt. sent10: that the liverwort does not excel carefreeness hold. sent11: something does excel carefreeness but it does not heft urologist. sent12: the narc is a wop or it is a garroter or both if there exists something such that it excels carefreeness. sent13: the liverwort does not heft urologist and is not a wop. sent14: if something is not a squire it excels carefreeness and is a volumeter. sent15: the fact that the vent is not a garroter but it is a wop is not true. sent16: the narc does not heft urologist. sent17: if the vent is not a kind of a drogue then the fact that it is not a kind of a ECC and it is not low-tech does not hold. sent18: if the liverwort is latest thing that is not a ECC it is not a squire.
void -> assump2: Let's assume that the narc excels carefreeness.; sent8 & assump2 -> int1: the liverwort is not a smith and does not heft urologist.; int1 -> int2: there exists something such that it is not a smith and it does not heft urologist.; void -> assump1: Let's assume that the fact that the vent is not a kind of a wop is true.; sent5 -> int3: there is something such that that it is not a volumeter is not wrong.; int3 & sent6 -> int4: the fact that the vent is not a garroter and not a wop is not true.;
the shopaholic is a wop.
sent14 -> int5: if the liverwort does not squire it excels carefreeness and it is a volumeter.; sent9 -> int6: that the liverwort is a kind of a latest is not wrong.;
$hypothesis$ = the narc does not excel carefreeness if the vent is not a wop. ; $context$ = sent1: something is not a Glaswegian or it is not a kind of a drogue or both. sent2: the vent is not a garroter if there is something such that it is not a kind of a smith and it does heft urologist. sent3: something is not microcosmic. sent4: if that the vent is not a kind of a ECC and is not low-tech is false then the liverwort is not a ECC. sent5: the fact that the Orangeman is not a volumeter is true. sent6: if there is something such that it is not a kind of a volumeter then that the vent is not a garroter and is not a wop does not hold. sent7: if the liverwort does not excel carefreeness then the narc is a smith. sent8: the liverwort is not a kind of a smith and does not heft urologist if the narc does excel carefreeness. sent9: the liverwort is a latest and it excels dirt. sent10: that the liverwort does not excel carefreeness hold. sent11: something does excel carefreeness but it does not heft urologist. sent12: the narc is a wop or it is a garroter or both if there exists something such that it excels carefreeness. sent13: the liverwort does not heft urologist and is not a wop. sent14: if something is not a squire it excels carefreeness and is a volumeter. sent15: the fact that the vent is not a garroter but it is a wop is not true. sent16: the narc does not heft urologist. sent17: if the vent is not a kind of a drogue then the fact that it is not a kind of a ECC and it is not low-tech does not hold. sent18: if the liverwort is latest thing that is not a ECC it is not a squire. ; $proof$ = 
void -> assump2: Let's assume that the narc excels carefreeness.; sent8 & assump2 -> int1: the liverwort is not a smith and does not heft urologist.; int1 -> int2: there exists something such that it is not a smith and it does not heft urologist.; void -> assump1: Let's assume that the fact that the vent is not a kind of a wop is true.; sent5 -> int3: there is something such that that it is not a volumeter is not wrong.; int3 & sent6 -> int4: the fact that the vent is not a garroter and not a wop is not true.; __UNKNOWN__