if the mid-calf is a kind of a Tradescant the Hasid contemns unkindness.
sent1: the Hasid is a kind of a Tradescant. sent2: something that is a kind of lowercase thing that contemns unkindness is not a Tradescant. sent3: the isotope is optical and not impetiginous if the mid-calf is not a kind of a Tradescant. sent4: the safe is a kind of a Exaeretodon that is a Tradescant. sent5: if the Hasid is monocarboxylic and is not optical the mid-calf does contemn unkindness. sent6: the mid-calf is not non-monocarboxylic. sent7: if the isotope is not optical then the mid-calf is non-lowercase. sent8: the Hasid is a kind of a Tradescant but it does not contemn unkindness. sent9: the bookdealer is impetiginous. sent10: the isotope is near and is a caryatid. sent11: the Hasid is unrespectable. sent12: the Hasid is a lowercase. sent13: that if the isotope is a lowercase but not impetiginous then the Hasid contemns unkindness hold. sent14: if the mid-calf is not optical then the isotope is a lowercase but it is not impetiginous. sent15: the mid-calf is a caryatid. sent16: the Hasid is impetiginous. sent17: if the mid-calf is a Tradescant that is optical that it is not impetiginous hold. sent18: the mid-calf does not contemn unkindness if the Hasid is not a Tradescant. sent19: if the Hasid is optical thing that is a kind of a Tradescant then it does not contemn unkindness. sent20: the isotope is not impetiginous.
void -> assump1: Let's assume that the mid-calf is a Tradescant.; assump1 & sent6 -> int1: the mid-calf is a Tradescant and it is monocarboxylic.;
$hypothesis$ = if the mid-calf is a kind of a Tradescant the Hasid contemns unkindness. ; $context$ = sent1: the Hasid is a kind of a Tradescant. sent2: something that is a kind of lowercase thing that contemns unkindness is not a Tradescant. sent3: the isotope is optical and not impetiginous if the mid-calf is not a kind of a Tradescant. sent4: the safe is a kind of a Exaeretodon that is a Tradescant. sent5: if the Hasid is monocarboxylic and is not optical the mid-calf does contemn unkindness. sent6: the mid-calf is not non-monocarboxylic. sent7: if the isotope is not optical then the mid-calf is non-lowercase. sent8: the Hasid is a kind of a Tradescant but it does not contemn unkindness. sent9: the bookdealer is impetiginous. sent10: the isotope is near and is a caryatid. sent11: the Hasid is unrespectable. sent12: the Hasid is a lowercase. sent13: that if the isotope is a lowercase but not impetiginous then the Hasid contemns unkindness hold. sent14: if the mid-calf is not optical then the isotope is a lowercase but it is not impetiginous. sent15: the mid-calf is a caryatid. sent16: the Hasid is impetiginous. sent17: if the mid-calf is a Tradescant that is optical that it is not impetiginous hold. sent18: the mid-calf does not contemn unkindness if the Hasid is not a Tradescant. sent19: if the Hasid is optical thing that is a kind of a Tradescant then it does not contemn unkindness. sent20: the isotope is not impetiginous. ; $proof$ = 
void -> assump1: Let's assume that the mid-calf is a Tradescant.; assump1 & sent6 -> int1: the mid-calf is a Tradescant and it is monocarboxylic.; __UNKNOWN__