either the horse-trail is a kind of a tunic or it is a girl or both.
sent1: something does not assume Cree if it is not monometallic. sent2: The licked does not assume anesthyl. sent3: there exists something such that that it does not assume Cree and it does testify outrageousness is not true. sent4: the horse-trail does not spend pounder if something is monometallic and it does testify mesocolon. sent5: the anesthyl emcees. sent6: if the horse-trail does not spend pounder it is a tunic and/or it is a girl. sent7: if that something does not testify mesocolon is not incorrect that it is a tunic and/or is a girl is not right. sent8: the Legionnaire testifies mesocolon and spends jejunity if the fact that the deadeye does not emcee is not incorrect. sent9: the fact that either the anesthyl is not an emcee or it is not undomestic or both is wrong if the fact that it does not assume licked is not false. sent10: something does not assume Cree but it testifies outrageousness. sent11: there is something such that that it does assume Cree and testifies outrageousness is not true. sent12: if the fact that either the anesthyl is not a kind of an emcee or it is not undomestic or both does not hold then the deadeye is not a kind of an emcee. sent13: the fact that the anesthyl is a tunic hold if there exists something such that it is domestic. sent14: the Legionnaire spends jejunity if the deadeye is not an emcee. sent15: the anesthyl does not assume licked.
sent1 -> int1: if the Legionnaire is not monometallic then it does not assume Cree.; void -> assump1: Let's assume that the Legionnaire is not monometallic.; int1 & assump1 -> int2: the Legionnaire does not assume Cree.; sent9 & sent15 -> int3: that the anesthyl is not an emcee and/or it is not undomestic is not right.; sent12 & int3 -> int4: the deadeye does not emcee.; sent8 & int4 -> int5: the Legionnaire does testify mesocolon and it spends jejunity.; int5 -> int6: the fact that the Legionnaire does testify mesocolon is not false.;
that that the horse-trail is a kind of a tunic or it is a girl or both is not true is right.
sent7 -> int7: that either the horse-trail is a tunic or it is a girl or both does not hold if it does not testify mesocolon.;
$hypothesis$ = either the horse-trail is a kind of a tunic or it is a girl or both. ; $context$ = sent1: something does not assume Cree if it is not monometallic. sent2: The licked does not assume anesthyl. sent3: there exists something such that that it does not assume Cree and it does testify outrageousness is not true. sent4: the horse-trail does not spend pounder if something is monometallic and it does testify mesocolon. sent5: the anesthyl emcees. sent6: if the horse-trail does not spend pounder it is a tunic and/or it is a girl. sent7: if that something does not testify mesocolon is not incorrect that it is a tunic and/or is a girl is not right. sent8: the Legionnaire testifies mesocolon and spends jejunity if the fact that the deadeye does not emcee is not incorrect. sent9: the fact that either the anesthyl is not an emcee or it is not undomestic or both is wrong if the fact that it does not assume licked is not false. sent10: something does not assume Cree but it testifies outrageousness. sent11: there is something such that that it does assume Cree and testifies outrageousness is not true. sent12: if the fact that either the anesthyl is not a kind of an emcee or it is not undomestic or both does not hold then the deadeye is not a kind of an emcee. sent13: the fact that the anesthyl is a tunic hold if there exists something such that it is domestic. sent14: the Legionnaire spends jejunity if the deadeye is not an emcee. sent15: the anesthyl does not assume licked. ; $proof$ = 
sent1 -> int1: if the Legionnaire is not monometallic then it does not assume Cree.; void -> assump1: Let's assume that the Legionnaire is not monometallic.; int1 & assump1 -> int2: the Legionnaire does not assume Cree.; sent9 & sent15 -> int3: that the anesthyl is not an emcee and/or it is not undomestic is not right.; sent12 & int3 -> int4: the deadeye does not emcee.; sent8 & int4 -> int5: the Legionnaire does testify mesocolon and it spends jejunity.; int5 -> int6: the fact that the Legionnaire does testify mesocolon is not false.; __UNKNOWN__