the darmstadtium mismanages token.
sent1: if there exists something such that it is not polygonal the fact that the darmstadtium mismanages token is not incorrect. sent2: there exists something such that it does mismanage token. sent3: the darmstadtium is polygonal. sent4: the darmstadtium does not mismanage token if it is a nativist. sent5: there is something such that it is not a raft. sent6: the flounce is hypoglycemic and freckles dividend. sent7: the darmstadtium is polygonal and it does mismanage token if there exists something such that it is not a kind of a nativist. sent8: the necklace is not nativist.
sent8 -> int1: there exists something such that it is not a kind of a nativist.; int1 & sent7 -> int2: the darmstadtium is polygonal and it does mismanage token.; int2 -> hypothesis;
the darmstadtium does not mismanage token.
$hypothesis$ = the darmstadtium mismanages token. ; $context$ = sent1: if there exists something such that it is not polygonal the fact that the darmstadtium mismanages token is not incorrect. sent2: there exists something such that it does mismanage token. sent3: the darmstadtium is polygonal. sent4: the darmstadtium does not mismanage token if it is a nativist. sent5: there is something such that it is not a raft. sent6: the flounce is hypoglycemic and freckles dividend. sent7: the darmstadtium is polygonal and it does mismanage token if there exists something such that it is not a kind of a nativist. sent8: the necklace is not nativist. ; $proof$ = 
sent8 -> int1: there exists something such that it is not a kind of a nativist.; int1 & sent7 -> int2: the darmstadtium is polygonal and it does mismanage token.; int2 -> hypothesis; __PROVED__