something is manorial and it is a branchiopod.
sent1: there is something such that it is a Cinclus and it is a misleader. sent2: something is not a nutcracker. sent3: there exists something such that the fact that it is not non-manorial is right. sent4: if there is something such that it is not branchiopod and it is a kind of a Reptilia the megaloblast is not manorial. sent5: the sunglasses is manorial. sent6: the defibrillator is a Cinclus and it is manorial if there exists something such that the fact that it is not transeunt is true. sent7: if something is not a nutcracker then the sunglasses is a Kinsey and it is manorial. sent8: the sunglasses is manorial if there exists something such that it does not perambulate. sent9: the sunglasses is manorial and it is a kind of a collembolan if there exists something such that it does not bethink. sent10: the sunglasses does hitch sunglasses and it is a branchiopod if there exists something such that that it is not a brush hold. sent11: there exists something such that it does perambulate. sent12: that the sunglasses is a kind of manorial thing that is a kind of a branchiopod is correct if there exists something such that it does not perambulate. sent13: something is a philomath and is a Cinclus. sent14: there exists something such that it does not perambulate. sent15: the bungler eliminates and yawns. sent16: that if the tandoor is a oldwife the sunglasses is a superfecundation hold. sent17: the saint is non-branchiopod thing that is a kind of a Reptilia. sent18: the bib-and-tucker is a centering that is a pinkie if there exists something such that it does not hitch megaloblast. sent19: there exists something such that it is not non-branchiopod.
sent14 & sent12 -> int1: the sunglasses is a kind of manorial thing that is a branchiopod.; int1 -> hypothesis;
there is something such that it is preclinical and it is a superfecundation.
sent17 -> int2: there is something such that it is not a branchiopod but a Reptilia.; int2 & sent4 -> int3: the megaloblast is not manorial.; int3 -> int4: something is not manorial.;
$hypothesis$ = something is manorial and it is a branchiopod. ; $context$ = sent1: there is something such that it is a Cinclus and it is a misleader. sent2: something is not a nutcracker. sent3: there exists something such that the fact that it is not non-manorial is right. sent4: if there is something such that it is not branchiopod and it is a kind of a Reptilia the megaloblast is not manorial. sent5: the sunglasses is manorial. sent6: the defibrillator is a Cinclus and it is manorial if there exists something such that the fact that it is not transeunt is true. sent7: if something is not a nutcracker then the sunglasses is a Kinsey and it is manorial. sent8: the sunglasses is manorial if there exists something such that it does not perambulate. sent9: the sunglasses is manorial and it is a kind of a collembolan if there exists something such that it does not bethink. sent10: the sunglasses does hitch sunglasses and it is a branchiopod if there exists something such that that it is not a brush hold. sent11: there exists something such that it does perambulate. sent12: that the sunglasses is a kind of manorial thing that is a kind of a branchiopod is correct if there exists something such that it does not perambulate. sent13: something is a philomath and is a Cinclus. sent14: there exists something such that it does not perambulate. sent15: the bungler eliminates and yawns. sent16: that if the tandoor is a oldwife the sunglasses is a superfecundation hold. sent17: the saint is non-branchiopod thing that is a kind of a Reptilia. sent18: the bib-and-tucker is a centering that is a pinkie if there exists something such that it does not hitch megaloblast. sent19: there exists something such that it is not non-branchiopod. ; $proof$ = 
sent14 & sent12 -> int1: the sunglasses is a kind of manorial thing that is a branchiopod.; int1 -> hypothesis; __PROVED__