the fact that there exists something such that if it is a underboss it is not an umbel and does ladle descriptor is false.
sent1: if the yataghan is a underboss it does ladle descriptor. sent2: the endothelium does not bury Leander and is an umbel if it is a Ornithischia. sent3: the yataghan is not an umbel but it does ladle descriptor if it is a underboss. sent4: there is something such that if it is a kind of a underboss then the fact that it is not a kind of an umbel hold. sent5: the yataghan is not cucurbitaceous but it is a kind of an umbel if it is volumetric. sent6: the fluoride does not abuse cockade but it is volumetric if it does ladle descriptor. sent7: if the yataghan is an umbel then it does not bury humanism and freezes. sent8: there is something such that if it is linguistics then it does not repudiate and it is functional. sent9: there is something such that if it is a pea-souper then it is not a kind of a mouthful and is a coalfield. sent10: there is something such that if it is a discontinuity it is not linguistics and it ladles fluoride. sent11: there exists something such that if it is inglorious it is not Algerian and it ladles Calliphoridae. sent12: there exists something such that if it is a voicer then it is not a Indicatoridae and it is a Serrasalmus. sent13: if something is not non-compact then it is not a underboss and is a barred. sent14: there exists something such that if it does abuse procarbazine then it is not a check and abuses luff. sent15: there is something such that if it is an alveolar then it is not altitudinal and impeaches. sent16: there exists something such that if it is a kind of a underboss it is an umbel and it does ladle descriptor. sent17: there is something such that if it is a ONI it is not aplacental and does interact. sent18: there is something such that if it prospects it does not bury trident and it is a cathedral. sent19: there is something such that if it is a lamb it does not abuse Langley and it abuses launderette. sent20: the yataghan is a kind of an umbel that ladles descriptor if it is a kind of a underboss. sent21: there exists something such that if it is a underboss it does ladle descriptor.
sent3 -> hypothesis;
the deer is not a underboss but a barred if it compacts.
sent13 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a underboss it is not an umbel and does ladle descriptor is false. ; $context$ = sent1: if the yataghan is a underboss it does ladle descriptor. sent2: the endothelium does not bury Leander and is an umbel if it is a Ornithischia. sent3: the yataghan is not an umbel but it does ladle descriptor if it is a underboss. sent4: there is something such that if it is a kind of a underboss then the fact that it is not a kind of an umbel hold. sent5: the yataghan is not cucurbitaceous but it is a kind of an umbel if it is volumetric. sent6: the fluoride does not abuse cockade but it is volumetric if it does ladle descriptor. sent7: if the yataghan is an umbel then it does not bury humanism and freezes. sent8: there is something such that if it is linguistics then it does not repudiate and it is functional. sent9: there is something such that if it is a pea-souper then it is not a kind of a mouthful and is a coalfield. sent10: there is something such that if it is a discontinuity it is not linguistics and it ladles fluoride. sent11: there exists something such that if it is inglorious it is not Algerian and it ladles Calliphoridae. sent12: there exists something such that if it is a voicer then it is not a Indicatoridae and it is a Serrasalmus. sent13: if something is not non-compact then it is not a underboss and is a barred. sent14: there exists something such that if it does abuse procarbazine then it is not a check and abuses luff. sent15: there is something such that if it is an alveolar then it is not altitudinal and impeaches. sent16: there exists something such that if it is a kind of a underboss it is an umbel and it does ladle descriptor. sent17: there is something such that if it is a ONI it is not aplacental and does interact. sent18: there is something such that if it prospects it does not bury trident and it is a cathedral. sent19: there is something such that if it is a lamb it does not abuse Langley and it abuses launderette. sent20: the yataghan is a kind of an umbel that ladles descriptor if it is a kind of a underboss. sent21: there exists something such that if it is a underboss it does ladle descriptor. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__