the convolvulus is non-spiritless thing that is not proximate.
sent1: the convolvulus is not proximate. sent2: there are non-Malay things. sent3: if the fact that the Tajik does nag jimmy and is a lie is not correct then the gamba is not proximate. sent4: if there are non-Malay things that the Tajik is uncharitable thing that is a kind of a non-Malay is not right. sent5: if the gamba is not proximate the convolvulus is not proximate. sent6: if the fact that the fact that either something is not proximate or it does nag jimmy or both hold is wrong then it does not chomp gamba. sent7: there exists something such that that it does not nag indemnity and is a Malay is incorrect. sent8: if that the convolvulus does nag jimmy and does lie does not hold then the Tajik is not proximate. sent9: the Tajik is not spiritless if the fact that the fact that the gamba does lie and it is proximate does not hold is true. sent10: if the fact that the Tajik is uncharitable and it is Malay is not correct it is not uncharitable. sent11: that the Tajik nags jimmy and it is a kind of a lie is incorrect if the bauxite does not nags jimmy. sent12: if the Tajik is not a lie the gamba is not proximate. sent13: the bauxite is an alum and it is a monarch. sent14: the convolvulus is a kind of spirited thing that is not proximate if the gamba is not proximate. sent15: if the bauxite is an alum and it is a monarch it does not nag jimmy. sent16: there exists something such that the fact that it is a Naomi and it does not tarnish edification is not true. sent17: if there is something such that the fact that it does not nag indemnity and it is Malay is wrong the thong is not spiritless. sent18: the bauxite is a kind of a monarch. sent19: if there is something such that that it is a Naomi and it does not tarnish edification is wrong then the bauxite is uncharitable. sent20: that the Tajik is both a lie and proximate hold. sent21: the gamba is a kind of non-proximate thing that is not spiritless if the convolvulus is not spiritless. sent22: something nags jimmy and is spiritless if it does not lie.
sent15 & sent13 -> int1: the bauxite does not nag jimmy.; sent11 & int1 -> int2: that the Tajik nags jimmy and lies is false.; sent3 & int2 -> int3: the gamba is not proximate.; sent14 & int3 -> hypothesis;
the fact that the convolvulus is not spiritless and it is not proximate is not right.
sent22 -> int4: the bauxite nags jimmy and it is spiritless if it is not a lie.; sent2 & sent4 -> int5: the fact that the Tajik is uncharitable and it is a kind of a Malay does not hold.; sent10 & int5 -> int6: the Tajik is not uncharitable.; int6 -> int7: there are non-uncharitable things.;
$hypothesis$ = the convolvulus is non-spiritless thing that is not proximate. ; $context$ = sent1: the convolvulus is not proximate. sent2: there are non-Malay things. sent3: if the fact that the Tajik does nag jimmy and is a lie is not correct then the gamba is not proximate. sent4: if there are non-Malay things that the Tajik is uncharitable thing that is a kind of a non-Malay is not right. sent5: if the gamba is not proximate the convolvulus is not proximate. sent6: if the fact that the fact that either something is not proximate or it does nag jimmy or both hold is wrong then it does not chomp gamba. sent7: there exists something such that that it does not nag indemnity and is a Malay is incorrect. sent8: if that the convolvulus does nag jimmy and does lie does not hold then the Tajik is not proximate. sent9: the Tajik is not spiritless if the fact that the fact that the gamba does lie and it is proximate does not hold is true. sent10: if the fact that the Tajik is uncharitable and it is Malay is not correct it is not uncharitable. sent11: that the Tajik nags jimmy and it is a kind of a lie is incorrect if the bauxite does not nags jimmy. sent12: if the Tajik is not a lie the gamba is not proximate. sent13: the bauxite is an alum and it is a monarch. sent14: the convolvulus is a kind of spirited thing that is not proximate if the gamba is not proximate. sent15: if the bauxite is an alum and it is a monarch it does not nag jimmy. sent16: there exists something such that the fact that it is a Naomi and it does not tarnish edification is not true. sent17: if there is something such that the fact that it does not nag indemnity and it is Malay is wrong the thong is not spiritless. sent18: the bauxite is a kind of a monarch. sent19: if there is something such that that it is a Naomi and it does not tarnish edification is wrong then the bauxite is uncharitable. sent20: that the Tajik is both a lie and proximate hold. sent21: the gamba is a kind of non-proximate thing that is not spiritless if the convolvulus is not spiritless. sent22: something nags jimmy and is spiritless if it does not lie. ; $proof$ = 
sent15 & sent13 -> int1: the bauxite does not nag jimmy.; sent11 & int1 -> int2: that the Tajik nags jimmy and lies is false.; sent3 & int2 -> int3: the gamba is not proximate.; sent14 & int3 -> hypothesis; __PROVED__