the shrimper is a kind of a Zimbabwean.
sent1: the fact that the chicken is not a kind of a billyo and it does not prime gutlessness is incorrect if the oxyphencyclimine does not prime purgatory. sent2: the chicken is not a Gopherus if the fact that it is not a billyo and does not prime gutlessness is false. sent3: if the shrimper is not a kind of a Olivier the diflunisal is not veinal. sent4: if something is not a kind of an efficiency then it is a manumission and it is Goethean. sent5: the fact that the diflunisal is not a Zimbabwean or is a manumission or both is false if the shrimper is a Olivier. sent6: the shrimper is not a kind of a manumission if the diflunisal is not basidial. sent7: something is a Zimbabwean if it is not a manumission. sent8: if the coquette is not an efficiency the shrimper is a Olivier and is Goethean. sent9: everything does not prime purgatory. sent10: there is something such that it is not psychogenic. sent11: the chicken does not dwindle. sent12: the diflunisal does prime appareled. sent13: if something that does not dwindle is not a Gopherus then the coquette is not psychogenic. sent14: that the diflunisal is basidial and it is not non-veinal is not correct if it is not a kind of a Olivier. sent15: if the diflunisal is stoppable it is not an efficiency. sent16: the fact that something is not stoppable and/or it is not a kind of an efficiency hold if it is not psychogenic. sent17: if that the diflunisal is basidial and is veinal is not right then the shrimper is not a manumission. sent18: the diflunisal is basidial if that it is non-Zimbabwean is true. sent19: the letter is not a Zimbabwean if the fact that the diflunisal is not a kind of a Zimbabwean and/or it is a manumission does not hold. sent20: something is a Zimbabwean if it is not veinal.
sent7 -> int1: if the shrimper is not a manumission then it is a Zimbabwean.;
the shrimper is not a kind of a Zimbabwean.
sent4 -> int2: the fact that the diflunisal is a kind of a manumission and it is Goethean is correct if it is not an efficiency.;
$hypothesis$ = the shrimper is a kind of a Zimbabwean. ; $context$ = sent1: the fact that the chicken is not a kind of a billyo and it does not prime gutlessness is incorrect if the oxyphencyclimine does not prime purgatory. sent2: the chicken is not a Gopherus if the fact that it is not a billyo and does not prime gutlessness is false. sent3: if the shrimper is not a kind of a Olivier the diflunisal is not veinal. sent4: if something is not a kind of an efficiency then it is a manumission and it is Goethean. sent5: the fact that the diflunisal is not a Zimbabwean or is a manumission or both is false if the shrimper is a Olivier. sent6: the shrimper is not a kind of a manumission if the diflunisal is not basidial. sent7: something is a Zimbabwean if it is not a manumission. sent8: if the coquette is not an efficiency the shrimper is a Olivier and is Goethean. sent9: everything does not prime purgatory. sent10: there is something such that it is not psychogenic. sent11: the chicken does not dwindle. sent12: the diflunisal does prime appareled. sent13: if something that does not dwindle is not a Gopherus then the coquette is not psychogenic. sent14: that the diflunisal is basidial and it is not non-veinal is not correct if it is not a kind of a Olivier. sent15: if the diflunisal is stoppable it is not an efficiency. sent16: the fact that something is not stoppable and/or it is not a kind of an efficiency hold if it is not psychogenic. sent17: if that the diflunisal is basidial and is veinal is not right then the shrimper is not a manumission. sent18: the diflunisal is basidial if that it is non-Zimbabwean is true. sent19: the letter is not a Zimbabwean if the fact that the diflunisal is not a kind of a Zimbabwean and/or it is a manumission does not hold. sent20: something is a Zimbabwean if it is not veinal. ; $proof$ = 
sent7 -> int1: if the shrimper is not a manumission then it is a Zimbabwean.; __UNKNOWN__