the mouser is a Tarquin if the instep fingerprints tenement.
sent1: if the Gemini does not catalyze West and is unrespectable the mouser is a Tarquin. sent2: that the Jay is a Tripleurospermum is not wrong. sent3: a non-neutering thing that is not unsold does not fingerprint tenement. sent4: if the Gemini is a kind of a neutering then the mouser is not a neutering. sent5: the instep is not unsold if the Jay is a Tripleurospermum. sent6: the Gemini does not catalyze West. sent7: the instep fingerprints tenement if it is not neutering and it is not unsold. sent8: the Gemini is not unsold if it is not unrespectable and it does not catalyze West. sent9: the mouser is a kind of a Tarquin if the Gemini does catalyze West and it is unrespectable.
void -> assump1: Let's assume that that the Gemini does not catalyze West but it is unrespectable does not hold.; sent5 & sent2 -> int1: the instep is not unsold.; sent3 -> int2: if the instep is not a neutering and is sold then that it does not fingerprint tenement is not false.;
the mouser is not a neutering.
$hypothesis$ = the mouser is a Tarquin if the instep fingerprints tenement. ; $context$ = sent1: if the Gemini does not catalyze West and is unrespectable the mouser is a Tarquin. sent2: that the Jay is a Tripleurospermum is not wrong. sent3: a non-neutering thing that is not unsold does not fingerprint tenement. sent4: if the Gemini is a kind of a neutering then the mouser is not a neutering. sent5: the instep is not unsold if the Jay is a Tripleurospermum. sent6: the Gemini does not catalyze West. sent7: the instep fingerprints tenement if it is not neutering and it is not unsold. sent8: the Gemini is not unsold if it is not unrespectable and it does not catalyze West. sent9: the mouser is a kind of a Tarquin if the Gemini does catalyze West and it is unrespectable. ; $proof$ = 
void -> assump1: Let's assume that that the Gemini does not catalyze West but it is unrespectable does not hold.; sent5 & sent2 -> int1: the instep is not unsold.; sent3 -> int2: if the instep is not a neutering and is sold then that it does not fingerprint tenement is not false.; __UNKNOWN__