the chinaware is inverse.
sent1: the brow is not a kind of an awning if it is a hind. sent2: that the sorbate is a kind of a hind but it does not din is right if the brow is not a kind of a hind. sent3: if something is a kind of a hind then it is not an awning. sent4: if that something is not a hind and is an inverse is not true it is not a kind of an inverse. sent5: if something is urban it is an inverse. sent6: if the sorbate is a hind that does not din then the chinaware is urban. sent7: the fact that the brow is not an awning and it does not replicate tapered is incorrect if there is something such that that it is not a tinter hold. sent8: that something dins and is not a tinter is false if it is a TRH. sent9: the clothespress is a hind but it is not a tinter if the sorbate is not a kind of a hind. sent10: if that the clothespress is not a TRH and it does not squire sprinkle is not right then the sorbate is a TRH. sent11: if something is not urban that it is not a kind of a hind and is an inverse is not right. sent12: if the fact that the brow is not a hind is not wrong the sorbate does not din. sent13: if the sorbate does not din and is a kind of a hind then the southland does din. sent14: the chinaware does squire covetousness. sent15: if the chinaware does not din then the sorbate does not din. sent16: the fact that the clothespress is not a tinter is not incorrect. sent17: something is not a kind of an awning and it does not replicate tapered if that it is a kind of a hind is not false.
sent17 -> int1: if the brow is a hind then it is not an awning and does not replicate tapered.; void -> assump1: Let's assume that the fact that the brow is a hind hold.; int1 & assump1 -> int2: the brow is not a kind of an awning and does not replicate tapered.; sent16 -> int3: there exists something such that it is not a kind of a tinter.; int3 & sent7 -> int4: the fact that the brow is not an awning and does not replicate tapered does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the brow is not a hind.; int6 & sent2 -> int7: the sorbate is a hind that does not din.; int7 & sent6 -> int8: the chinaware is urban.; sent5 -> int9: if the chinaware is urban then it is an inverse.; int8 & int9 -> hypothesis;
the southland dins.
$hypothesis$ = the chinaware is inverse. ; $context$ = sent1: the brow is not a kind of an awning if it is a hind. sent2: that the sorbate is a kind of a hind but it does not din is right if the brow is not a kind of a hind. sent3: if something is a kind of a hind then it is not an awning. sent4: if that something is not a hind and is an inverse is not true it is not a kind of an inverse. sent5: if something is urban it is an inverse. sent6: if the sorbate is a hind that does not din then the chinaware is urban. sent7: the fact that the brow is not an awning and it does not replicate tapered is incorrect if there is something such that that it is not a tinter hold. sent8: that something dins and is not a tinter is false if it is a TRH. sent9: the clothespress is a hind but it is not a tinter if the sorbate is not a kind of a hind. sent10: if that the clothespress is not a TRH and it does not squire sprinkle is not right then the sorbate is a TRH. sent11: if something is not urban that it is not a kind of a hind and is an inverse is not right. sent12: if the fact that the brow is not a hind is not wrong the sorbate does not din. sent13: if the sorbate does not din and is a kind of a hind then the southland does din. sent14: the chinaware does squire covetousness. sent15: if the chinaware does not din then the sorbate does not din. sent16: the fact that the clothespress is not a tinter is not incorrect. sent17: something is not a kind of an awning and it does not replicate tapered if that it is a kind of a hind is not false. ; $proof$ = 
sent17 -> int1: if the brow is a hind then it is not an awning and does not replicate tapered.; void -> assump1: Let's assume that the fact that the brow is a hind hold.; int1 & assump1 -> int2: the brow is not a kind of an awning and does not replicate tapered.; sent16 -> int3: there exists something such that it is not a kind of a tinter.; int3 & sent7 -> int4: the fact that the brow is not an awning and does not replicate tapered does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the brow is not a hind.; int6 & sent2 -> int7: the sorbate is a hind that does not din.; int7 & sent6 -> int8: the chinaware is urban.; sent5 -> int9: if the chinaware is urban then it is an inverse.; int8 & int9 -> hypothesis; __PROVED__