the adulterator is a potentiometer.
sent1: if the lochia is not legitimate then the tyrothricin is not an emission. sent2: if that the wad does regiment is not incorrect the adulterator is a potentiometer. sent3: the Sinologist is not extraterrestrial if the Viyella is not a cupboard and it is not fast. sent4: if the fact that the wad is a kind of a processional hold the countess is a regiment. sent5: the Viyella does distinguish Sinologist. sent6: if the lochia does not distinguish disinterested the tyrothricin is not a kind of an emission. sent7: the sipper is a dogbane if something does reside and/or it is a dogbane. sent8: if the fact that the tyrothricin is not an emission hold the earplug does reside and/or is a dogbane. sent9: there is nothing that is both not a potentiometer and not a Eichmann. sent10: if the fact that the countess is not processional and not a Eichmann does not hold then the wad is alimentative. sent11: the lochia does not legitimate and/or it does not distinguish disinterested if there exists something such that it is not an extraterrestrial. sent12: the countess regiments. sent13: that the wad is not alimentative and it is not a kind of a processional is wrong. sent14: the adulterator is alimentative. sent15: there is nothing such that it is not a processional and it is not a kind of a Eichmann. sent16: the adulterator is processional. sent17: that something is not a cupboard and is not fast is right if it distinguishes Sinologist.
sent15 -> int1: the fact that the countess is not a processional and it is not a Eichmann is not right.; int1 & sent10 -> int2: the wad is alimentative.;
that the adulterator is not a kind of a potentiometer hold.
sent17 -> int3: the Viyella is both not a cupboard and not fast if the fact that it distinguishes Sinologist is not wrong.; int3 & sent5 -> int4: the Viyella is not a cupboard and not fast.; sent3 & int4 -> int5: the Sinologist is not an extraterrestrial.; int5 -> int6: something is non-extraterrestrial.; int6 & sent11 -> int7: the lochia does not legitimate and/or does not distinguish disinterested.; int7 & sent1 & sent6 -> int8: that the tyrothricin is not a kind of an emission hold.; sent8 & int8 -> int9: the earplug does reside or it is a kind of a dogbane or both.; int9 -> int10: something either resides or is a dogbane or both.; int10 & sent7 -> int11: the sipper is a dogbane.; int11 -> int12: something is a dogbane.;
$hypothesis$ = the adulterator is a potentiometer. ; $context$ = sent1: if the lochia is not legitimate then the tyrothricin is not an emission. sent2: if that the wad does regiment is not incorrect the adulterator is a potentiometer. sent3: the Sinologist is not extraterrestrial if the Viyella is not a cupboard and it is not fast. sent4: if the fact that the wad is a kind of a processional hold the countess is a regiment. sent5: the Viyella does distinguish Sinologist. sent6: if the lochia does not distinguish disinterested the tyrothricin is not a kind of an emission. sent7: the sipper is a dogbane if something does reside and/or it is a dogbane. sent8: if the fact that the tyrothricin is not an emission hold the earplug does reside and/or is a dogbane. sent9: there is nothing that is both not a potentiometer and not a Eichmann. sent10: if the fact that the countess is not processional and not a Eichmann does not hold then the wad is alimentative. sent11: the lochia does not legitimate and/or it does not distinguish disinterested if there exists something such that it is not an extraterrestrial. sent12: the countess regiments. sent13: that the wad is not alimentative and it is not a kind of a processional is wrong. sent14: the adulterator is alimentative. sent15: there is nothing such that it is not a processional and it is not a kind of a Eichmann. sent16: the adulterator is processional. sent17: that something is not a cupboard and is not fast is right if it distinguishes Sinologist. ; $proof$ = 
sent15 -> int1: the fact that the countess is not a processional and it is not a Eichmann is not right.; int1 & sent10 -> int2: the wad is alimentative.; __UNKNOWN__