the hangman is a kind of non-statesmanlike thing that does encapsulate washup.
sent1: the push is not a unguiculate. sent2: something that is a Mauritanian is not a kind of a unguiculate. sent3: the encaustic is a kind of unguiculate thing that is not a clews. sent4: The washup does encapsulate hangman. sent5: something is not non-unguiculate. sent6: if something twills dystrophy the fact that it is not statesmanlike and does encapsulate washup is wrong. sent7: the push encapsulates Cannaceae. sent8: the hangman is not statesmanlike if the push does not encapsulate lioness and is not a Mauritanian. sent9: The Cannaceae encapsulates push. sent10: there exists something such that it is a unguiculate and it is a clews. sent11: there exists something such that it is not a clews. sent12: if something is a clews it does not encapsulate Cannaceae. sent13: the hangman does encapsulate washup. sent14: if there exists something such that it is a unguiculate and is not a kind of a clews the push is not a Mauritanian. sent15: the encaustic is a unguiculate. sent16: if the push does not twill dystrophy it does not encapsulate Cannaceae.
void -> assump1: Let's assume that the push does not twill dystrophy.; sent16 & assump1 -> int1: the push does not encapsulate Cannaceae.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the push twills dystrophy.; sent3 -> int4: there is something such that it is a unguiculate that is not a clews.; int4 & sent14 -> int5: the push is not a Mauritanian.;
that the hangman is not statesmanlike but it does encapsulate washup is incorrect.
sent6 -> int6: if the hangman twills dystrophy then the fact that it is a kind of unstatesmanlike thing that encapsulates washup does not hold.;
$hypothesis$ = the hangman is a kind of non-statesmanlike thing that does encapsulate washup. ; $context$ = sent1: the push is not a unguiculate. sent2: something that is a Mauritanian is not a kind of a unguiculate. sent3: the encaustic is a kind of unguiculate thing that is not a clews. sent4: The washup does encapsulate hangman. sent5: something is not non-unguiculate. sent6: if something twills dystrophy the fact that it is not statesmanlike and does encapsulate washup is wrong. sent7: the push encapsulates Cannaceae. sent8: the hangman is not statesmanlike if the push does not encapsulate lioness and is not a Mauritanian. sent9: The Cannaceae encapsulates push. sent10: there exists something such that it is a unguiculate and it is a clews. sent11: there exists something such that it is not a clews. sent12: if something is a clews it does not encapsulate Cannaceae. sent13: the hangman does encapsulate washup. sent14: if there exists something such that it is a unguiculate and is not a kind of a clews the push is not a Mauritanian. sent15: the encaustic is a unguiculate. sent16: if the push does not twill dystrophy it does not encapsulate Cannaceae. ; $proof$ = 
void -> assump1: Let's assume that the push does not twill dystrophy.; sent16 & assump1 -> int1: the push does not encapsulate Cannaceae.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the push twills dystrophy.; sent3 -> int4: there is something such that it is a unguiculate that is not a clews.; int4 & sent14 -> int5: the push is not a Mauritanian.; __UNKNOWN__