the valdecoxib is a vassal.
sent1: something does not anguish if it is a kind of a catsup that is organicistic. sent2: the nailfile is organicistic if it is operational. sent3: the valdecoxib is a addend and is not a debenture if the nailfile does not anguish. sent4: the nailfile is not a tonsured and it does not vex undergraduate if it is not a Liberian. sent5: if the fact that the forum is a catsup but not an anguish does not hold the inductee is not a vassal. sent6: if the fact that either the valdecoxib does not provide or it is not exoergic or both does not hold it is a vassal. sent7: the fact that something does not provide and/or is not exoergic is not right if it is not a debenture. sent8: the nailfile is operational if there is something such that either it is a downtown or it is operational or both. sent9: something is a catsup if it does not tonsure and does not vex undergraduate. sent10: something either is a downtown or is operational or both. sent11: if that the relative is organicistic and is a vassal does not hold the valdecoxib is not a vassal.
sent9 -> int1: if the nailfile does not tonsure and does not vex undergraduate it is a kind of a catsup.; sent10 & sent8 -> int2: the nailfile is operational.; sent2 & int2 -> int3: the nailfile is organicistic.; sent1 -> int4: the nailfile does not anguish if it is a catsup and is organicistic.; sent7 -> int5: if that the valdecoxib is not a debenture is right then that it either does not provide or is not exoergic or both is not true.;
the valdecoxib is not a vassal.
$hypothesis$ = the valdecoxib is a vassal. ; $context$ = sent1: something does not anguish if it is a kind of a catsup that is organicistic. sent2: the nailfile is organicistic if it is operational. sent3: the valdecoxib is a addend and is not a debenture if the nailfile does not anguish. sent4: the nailfile is not a tonsured and it does not vex undergraduate if it is not a Liberian. sent5: if the fact that the forum is a catsup but not an anguish does not hold the inductee is not a vassal. sent6: if the fact that either the valdecoxib does not provide or it is not exoergic or both does not hold it is a vassal. sent7: the fact that something does not provide and/or is not exoergic is not right if it is not a debenture. sent8: the nailfile is operational if there is something such that either it is a downtown or it is operational or both. sent9: something is a catsup if it does not tonsure and does not vex undergraduate. sent10: something either is a downtown or is operational or both. sent11: if that the relative is organicistic and is a vassal does not hold the valdecoxib is not a vassal. ; $proof$ = 
sent9 -> int1: if the nailfile does not tonsure and does not vex undergraduate it is a kind of a catsup.; sent10 & sent8 -> int2: the nailfile is operational.; sent2 & int2 -> int3: the nailfile is organicistic.; sent1 -> int4: the nailfile does not anguish if it is a catsup and is organicistic.; sent7 -> int5: if that the valdecoxib is not a debenture is right then that it either does not provide or is not exoergic or both is not true.; __UNKNOWN__