there is something such that if it is a Loxia and it is not a Menotyphla it is not a barbell.
sent1: if the harpooner is nonprofessional but it is not ossicular it is not a Menotyphla. sent2: there is something such that if it is a Sudanese but not a Liao then it rambles. sent3: there exists something such that if it is a Peter that does not squire cabalist then it does squire Diervilla. sent4: there is something such that if it does metabolize prime and it is not a kind of a disclaimer it is lumbosacral. sent5: there is something such that if it is pompous and does not lignify then it is not a salient. sent6: if the harpooner lignifies and is not a risibility then it is not a Telescopium. sent7: if the saurischian metabolizes Northampton and is not intermolecular then it is not a kind of a barbell. sent8: there is something such that if it does furrow and it does not replicate Bursa it is Christological. sent9: the antipodes does not squire Madoqua if it does metabolize harpooner and is not a kind of a Loxia. sent10: the harpooner is not a treelet if it is existent and it is not invariable. sent11: if something is a kind of a flatlet and is not a disclaimer it is not lumbosacral. sent12: if the harpooner is a kind of a main that does replicate Beaverbrook then it is not a Menotyphla. sent13: there is something such that if it does replicate eon and it is not a Atlantic then it is unwoven. sent14: the harpooner is not a barbell if that it is a kind of a Loxia and it is not a kind of a Menotyphla is correct. sent15: if the harpooner is a barbell and is thermoelectric then it is not a ministrant. sent16: there exists something such that if it is a feather and it does not squire aunt then it does not squire uniform. sent17: there exists something such that if it is a Loxia and it is a Menotyphla it is not a barbell. sent18: if the harpooner is a Loxia but it is not a Menotyphla the fact that it is a barbell is not incorrect. sent19: if the harpooner is a sarcophagus and it is a Loxia it is not a screening. sent20: if the harpooner does replicate Harrisia and it is a heart-to-heart it is not nonintellectual.
sent14 -> hypothesis;
there exists something such that if it is a flatlet and it is not a disclaimer it is not lumbosacral.
sent11 -> int1: if the bombardon is a flatlet but it is not a disclaimer it is not lumbosacral.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a Loxia and it is not a Menotyphla it is not a barbell. ; $context$ = sent1: if the harpooner is nonprofessional but it is not ossicular it is not a Menotyphla. sent2: there is something such that if it is a Sudanese but not a Liao then it rambles. sent3: there exists something such that if it is a Peter that does not squire cabalist then it does squire Diervilla. sent4: there is something such that if it does metabolize prime and it is not a kind of a disclaimer it is lumbosacral. sent5: there is something such that if it is pompous and does not lignify then it is not a salient. sent6: if the harpooner lignifies and is not a risibility then it is not a Telescopium. sent7: if the saurischian metabolizes Northampton and is not intermolecular then it is not a kind of a barbell. sent8: there is something such that if it does furrow and it does not replicate Bursa it is Christological. sent9: the antipodes does not squire Madoqua if it does metabolize harpooner and is not a kind of a Loxia. sent10: the harpooner is not a treelet if it is existent and it is not invariable. sent11: if something is a kind of a flatlet and is not a disclaimer it is not lumbosacral. sent12: if the harpooner is a kind of a main that does replicate Beaverbrook then it is not a Menotyphla. sent13: there is something such that if it does replicate eon and it is not a Atlantic then it is unwoven. sent14: the harpooner is not a barbell if that it is a kind of a Loxia and it is not a kind of a Menotyphla is correct. sent15: if the harpooner is a barbell and is thermoelectric then it is not a ministrant. sent16: there exists something such that if it is a feather and it does not squire aunt then it does not squire uniform. sent17: there exists something such that if it is a Loxia and it is a Menotyphla it is not a barbell. sent18: if the harpooner is a Loxia but it is not a Menotyphla the fact that it is a barbell is not incorrect. sent19: if the harpooner is a sarcophagus and it is a Loxia it is not a screening. sent20: if the harpooner does replicate Harrisia and it is a heart-to-heart it is not nonintellectual. ; $proof$ = 
sent14 -> hypothesis; __PROVED__