the fact that the browser is not transcultural but it resizes hold.
sent1: if something is viceregal then it flagellates. sent2: the decomposition is viceregal if it is not a kind of a teapot. sent3: the writer is a Sudanese if it is not a kind of a safranine. sent4: that the writer is not a galactocele but it is a safranine is wrong if the browser is a galactocele. sent5: if the fact that the browser is not a Sudanese and it is not a Oakley is false then the Polycarp is a Sudanese. sent6: the writer does not realign towhee. sent7: the fact that the writer is a galactocele and it is a safranine if the clansman is not a Sudanese hold. sent8: if the fact that something is not a kind of a Oakley but it is a kind of a Sudanese is incorrect it is not Sudanese. sent9: if there are flagellate things then the guvnor is not a Sudanese. sent10: the fact that the decomposition is not a teapot is true. sent11: the writer is transcultural if that it is not a galactocele and it does resize is incorrect. sent12: the fact that if the writer is a galactocele then that the fact that the browser is not transcultural but it resizes is incorrect is right is not false. sent13: if the fact that the writer is not a galactocele but it is a safranine is false then it is Sudanese. sent14: if something is a Sudanese then that that it is both not a safranine and not transcultural hold does not hold. sent15: if the browser is transcultural then it is a kind of a galactocele. sent16: the writer is not a Saratoga but it is disrespectful. sent17: the browser is not a safranine but parliamentary. sent18: the fact that the browser does resize hold.
void -> assump1: Let's assume that the browser is transcultural.; sent15 & assump1 -> int1: the browser is a galactocele.; int1 & sent4 -> int2: that the writer is not a galactocele but it is a safranine is false.; int2 & sent13 -> int3: the writer is Sudanese.;
the fact that that the browser is non-transcultural thing that resizes is false is right.
sent8 -> int4: the clansman is not a Sudanese if that it is both not a Oakley and Sudanese is not right.; sent1 -> int5: the decomposition is flagellate if it is viceregal.; sent2 & sent10 -> int6: the decomposition is viceregal.; int5 & int6 -> int7: the decomposition does flagellate.; int7 -> int8: there is something such that that it does flagellate hold.; int8 & sent9 -> int9: the guvnor is not a Sudanese.; int9 -> int10: there exists something such that it is non-Sudanese.;
$hypothesis$ = the fact that the browser is not transcultural but it resizes hold. ; $context$ = sent1: if something is viceregal then it flagellates. sent2: the decomposition is viceregal if it is not a kind of a teapot. sent3: the writer is a Sudanese if it is not a kind of a safranine. sent4: that the writer is not a galactocele but it is a safranine is wrong if the browser is a galactocele. sent5: if the fact that the browser is not a Sudanese and it is not a Oakley is false then the Polycarp is a Sudanese. sent6: the writer does not realign towhee. sent7: the fact that the writer is a galactocele and it is a safranine if the clansman is not a Sudanese hold. sent8: if the fact that something is not a kind of a Oakley but it is a kind of a Sudanese is incorrect it is not Sudanese. sent9: if there are flagellate things then the guvnor is not a Sudanese. sent10: the fact that the decomposition is not a teapot is true. sent11: the writer is transcultural if that it is not a galactocele and it does resize is incorrect. sent12: the fact that if the writer is a galactocele then that the fact that the browser is not transcultural but it resizes is incorrect is right is not false. sent13: if the fact that the writer is not a galactocele but it is a safranine is false then it is Sudanese. sent14: if something is a Sudanese then that that it is both not a safranine and not transcultural hold does not hold. sent15: if the browser is transcultural then it is a kind of a galactocele. sent16: the writer is not a Saratoga but it is disrespectful. sent17: the browser is not a safranine but parliamentary. sent18: the fact that the browser does resize hold. ; $proof$ = 
void -> assump1: Let's assume that the browser is transcultural.; sent15 & assump1 -> int1: the browser is a galactocele.; int1 & sent4 -> int2: that the writer is not a galactocele but it is a safranine is false.; int2 & sent13 -> int3: the writer is Sudanese.; __UNKNOWN__