the Democrat does term unenlightenment.
sent1: the nourishment is not a kind of a somatotype. sent2: the nourishment is not a brim but it does term flagellum. sent3: the nourishment is not a somatotype but it is a kind of a solfa. sent4: the Plimsoll is a kind of a Esperantido if it plates nothings and is non-immeasurable. sent5: if the Wintun is a solfa the Plimsoll is a kind of a somatotype. sent6: the Wintun is a kind of a Ambystoma if the Plimsoll is a kind of a Esperantido. sent7: the autoradiography is a kind of a somatotype if it is a covey. sent8: if there is something such that it does not brim the autoradiography does hymn salesmanship and it is an incompetent. sent9: if the Plimsoll is not a Esperantido and is a kind of a covey then the Democrat is a kind of a Ambystoma. sent10: the Democrat is astomatal if that the Plimsoll does plate nothings and is not immeasurable is wrong. sent11: that the autoradiography is not a Ambystoma but it is a somatotype does not hold. sent12: the autoradiography is a covey if the fact that the Wintun is a Ambystoma is correct. sent13: the fact that the nourishment is a somatotype and it is a solfa is incorrect. sent14: something is not a Esperantido and is a kind of a covey if it is a somatotype. sent15: if something is a kind of a Ambystoma it does not term unenlightenment. sent16: if something is astomatal then it does term unenlightenment.
void -> assump1: Let's assume that the Plimsoll does plate nothings and is not immeasurable.; sent4 & assump1 -> int1: the Plimsoll is a kind of a Esperantido.; int1 & sent6 -> int2: the Wintun is a Ambystoma.; int2 & sent12 -> int3: the autoradiography is a kind of a covey.; int3 & sent7 -> int4: the autoradiography is a kind of a somatotype.; sent16 -> int5: the Democrat terms unenlightenment if it is astomatal.;
the Democrat does not term unenlightenment.
sent15 -> int6: if the Democrat is a Ambystoma then the fact that it does not term unenlightenment is right.; sent14 -> int7: if the Plimsoll is a somatotype then it is not a kind of a Esperantido and is a covey.; sent2 -> int8: the nourishment does not brim.; int8 -> int9: there is something such that it is not a brim.; int9 & sent8 -> int10: the autoradiography does hymn salesmanship and is an incompetent.; int10 -> int11: the autoradiography is an incompetent.; int11 -> int12: there exists something such that it is an incompetent.;
$hypothesis$ = the Democrat does term unenlightenment. ; $context$ = sent1: the nourishment is not a kind of a somatotype. sent2: the nourishment is not a brim but it does term flagellum. sent3: the nourishment is not a somatotype but it is a kind of a solfa. sent4: the Plimsoll is a kind of a Esperantido if it plates nothings and is non-immeasurable. sent5: if the Wintun is a solfa the Plimsoll is a kind of a somatotype. sent6: the Wintun is a kind of a Ambystoma if the Plimsoll is a kind of a Esperantido. sent7: the autoradiography is a kind of a somatotype if it is a covey. sent8: if there is something such that it does not brim the autoradiography does hymn salesmanship and it is an incompetent. sent9: if the Plimsoll is not a Esperantido and is a kind of a covey then the Democrat is a kind of a Ambystoma. sent10: the Democrat is astomatal if that the Plimsoll does plate nothings and is not immeasurable is wrong. sent11: that the autoradiography is not a Ambystoma but it is a somatotype does not hold. sent12: the autoradiography is a covey if the fact that the Wintun is a Ambystoma is correct. sent13: the fact that the nourishment is a somatotype and it is a solfa is incorrect. sent14: something is not a Esperantido and is a kind of a covey if it is a somatotype. sent15: if something is a kind of a Ambystoma it does not term unenlightenment. sent16: if something is astomatal then it does term unenlightenment. ; $proof$ = 
void -> assump1: Let's assume that the Plimsoll does plate nothings and is not immeasurable.; sent4 & assump1 -> int1: the Plimsoll is a kind of a Esperantido.; int1 & sent6 -> int2: the Wintun is a Ambystoma.; int2 & sent12 -> int3: the autoradiography is a kind of a covey.; int3 & sent7 -> int4: the autoradiography is a kind of a somatotype.; sent16 -> int5: the Democrat terms unenlightenment if it is astomatal.; __UNKNOWN__