there is something such that it is not a kind of a perseveration and it does not incriminate solitaire.
sent1: there exists something such that it is not a kind of a perseveration and incriminates solitaire. sent2: there is something such that it does not riddle sixteen. sent3: the eluate does riddle sixteen and it does riddle pressing. sent4: a wolverine does riddle sixteen and/or is not a re-establishment. sent5: something that does not incriminate solitaire is a wolverine and a thermoplastic. sent6: if the blower is a kind of a re-establishment and/or does incriminate anxiety it is not a wolverine. sent7: the fact that the eluate does not incriminate solitaire hold. sent8: the eluate is a wolverine. sent9: the fact that the aggressor is a perseveration is right if the blower does incriminate anxiety. sent10: the fact that the blower is not the perseveration and does not incriminate solitaire if the blower does not incriminate anxiety is right. sent11: if the blower is not a wolverine that the presenter is not a wolverine and is a kind of a thermoplastic does not hold. sent12: the presenter is not a re-establishment if that there exists something such that it riddles sixteen or it is not a re-establishment or both is correct.
void -> assump1: Let's assume that the blower does incriminate anxiety.; assump1 -> int1: the blower is a re-establishment or it does incriminate anxiety or both.; int1 & sent6 -> int2: the blower is not a wolverine.; int2 & sent11 -> int3: the fact that the presenter is not a wolverine and is a kind of a thermoplastic is not true.; sent3 -> int4: the eluate riddles sixteen.;
the aggressor is a kind of a perseveration.
sent4 -> int5: the eluate does riddle sixteen and/or it is not a re-establishment if it is a wolverine.; sent5 -> int6: if the eluate does not incriminate solitaire then it is both a wolverine and thermoplastic.; int6 & sent7 -> int7: the fact that the eluate is a wolverine and it is a thermoplastic is true.; int7 -> int8: the eluate is a wolverine.; int5 & int8 -> int9: the eluate riddles sixteen or it is not a re-establishment or both.; int9 -> int10: something does riddle sixteen or it is not a re-establishment or both.; int10 & sent12 -> int11: the fact that the presenter is not a re-establishment hold.; int11 -> int12: there exists something such that it is not a re-establishment.;
$hypothesis$ = there is something such that it is not a kind of a perseveration and it does not incriminate solitaire. ; $context$ = sent1: there exists something such that it is not a kind of a perseveration and incriminates solitaire. sent2: there is something such that it does not riddle sixteen. sent3: the eluate does riddle sixteen and it does riddle pressing. sent4: a wolverine does riddle sixteen and/or is not a re-establishment. sent5: something that does not incriminate solitaire is a wolverine and a thermoplastic. sent6: if the blower is a kind of a re-establishment and/or does incriminate anxiety it is not a wolverine. sent7: the fact that the eluate does not incriminate solitaire hold. sent8: the eluate is a wolverine. sent9: the fact that the aggressor is a perseveration is right if the blower does incriminate anxiety. sent10: the fact that the blower is not the perseveration and does not incriminate solitaire if the blower does not incriminate anxiety is right. sent11: if the blower is not a wolverine that the presenter is not a wolverine and is a kind of a thermoplastic does not hold. sent12: the presenter is not a re-establishment if that there exists something such that it riddles sixteen or it is not a re-establishment or both is correct. ; $proof$ = 
void -> assump1: Let's assume that the blower does incriminate anxiety.; assump1 -> int1: the blower is a re-establishment or it does incriminate anxiety or both.; int1 & sent6 -> int2: the blower is not a wolverine.; int2 & sent11 -> int3: the fact that the presenter is not a wolverine and is a kind of a thermoplastic is not true.; sent3 -> int4: the eluate riddles sixteen.; __UNKNOWN__