there exists something such that if it is not a Dalian then it is non-metropolitan and does resettle.
sent1: if the muleteer is not a nonagenarian then it is not protestant and mistakes newspeak. sent2: if the earthwork is not a Dalian it is not metropolitan and does resettle. sent3: there is something such that if it is not a Dalian it is metropolitan thing that resettles. sent4: the earthwork is not a metropolitan if it is not a Dalian. sent5: the earthwork is not metropolitan but it does resettle if it is a Dalian. sent6: the earthwork is Haitian and troops whisperer if it is not catatonic. sent7: if the kinglet does not perfect it is a kind of non-metropolitan thing that does torment gale. sent8: there is something such that if it is not a Brythonic it is not a neutral and it is a nonagenarian. sent9: there is something such that if the fact that it is a Dalian is not incorrect then it is not a metropolitan and it resettles. sent10: there is something such that if it is not an obsidian it is not Nordic. sent11: something is not a sheller but a metropolitan if it does not torment lied. sent12: if the gale is not a Dalian it is not a synthetic and not non-fiduciary. sent13: there exists something such that if it is not a kind of a Dalian it does resettle. sent14: the earthwork is both not a poodle and a Haggadah if it does torment Harpy. sent15: something is not xenogeneic and does torment Platymiscium if it is not a Dalian.
sent2 -> hypothesis;
if the earthwork does not torment lied it is not a kind of a sheller and it is a kind of a metropolitan.
sent11 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a Dalian then it is non-metropolitan and does resettle. ; $context$ = sent1: if the muleteer is not a nonagenarian then it is not protestant and mistakes newspeak. sent2: if the earthwork is not a Dalian it is not metropolitan and does resettle. sent3: there is something such that if it is not a Dalian it is metropolitan thing that resettles. sent4: the earthwork is not a metropolitan if it is not a Dalian. sent5: the earthwork is not metropolitan but it does resettle if it is a Dalian. sent6: the earthwork is Haitian and troops whisperer if it is not catatonic. sent7: if the kinglet does not perfect it is a kind of non-metropolitan thing that does torment gale. sent8: there is something such that if it is not a Brythonic it is not a neutral and it is a nonagenarian. sent9: there is something such that if the fact that it is a Dalian is not incorrect then it is not a metropolitan and it resettles. sent10: there is something such that if it is not an obsidian it is not Nordic. sent11: something is not a sheller but a metropolitan if it does not torment lied. sent12: if the gale is not a Dalian it is not a synthetic and not non-fiduciary. sent13: there exists something such that if it is not a kind of a Dalian it does resettle. sent14: the earthwork is both not a poodle and a Haggadah if it does torment Harpy. sent15: something is not xenogeneic and does torment Platymiscium if it is not a Dalian. ; $proof$ = 
sent2 -> hypothesis; __PROVED__