the nosebag is center.
sent1: the Nubian does not disarm if the fact that the angelfish is neotenic but it does not disarm does not hold. sent2: something is a West-sider and is defiant. sent3: there is something such that it is a West-sider. sent4: something is a West-sider that is not a nor'-nor'-west. sent5: the canthus is not a nor'-nor'-west. sent6: if the canthus is not a nor'-nor'-west the Nubian is both a West-sider and not defiant. sent7: the canthus is non-photochemical if there is something such that the fact that it is not a Frisian and/or it is a kind of a divide does not hold. sent8: the canthus centers and it does divide if the Nubian does not disarm. sent9: if the canthus centers and it is a kind of a nor'-nor'-west then the nosebag is not a centers. sent10: the Nubian is a kind of a West-sider but it is not a nor'-nor'-west if the canthus is not defiant. sent11: there exists something such that the fact that it is not a Frisian and/or it does divide is not correct. sent12: if something is a kind of a West-sider but it is non-defiant the nosebag centers. sent13: the Nubian is a West-sider.
sent6 & sent5 -> int1: the Nubian is a West-sider but it is not defiant.; int1 -> int2: there is something such that it is both a West-sider and not defiant.; int2 & sent12 -> hypothesis;
the nosebag is not a center.
$hypothesis$ = the nosebag is center. ; $context$ = sent1: the Nubian does not disarm if the fact that the angelfish is neotenic but it does not disarm does not hold. sent2: something is a West-sider and is defiant. sent3: there is something such that it is a West-sider. sent4: something is a West-sider that is not a nor'-nor'-west. sent5: the canthus is not a nor'-nor'-west. sent6: if the canthus is not a nor'-nor'-west the Nubian is both a West-sider and not defiant. sent7: the canthus is non-photochemical if there is something such that the fact that it is not a Frisian and/or it is a kind of a divide does not hold. sent8: the canthus centers and it does divide if the Nubian does not disarm. sent9: if the canthus centers and it is a kind of a nor'-nor'-west then the nosebag is not a centers. sent10: the Nubian is a kind of a West-sider but it is not a nor'-nor'-west if the canthus is not defiant. sent11: there exists something such that the fact that it is not a Frisian and/or it does divide is not correct. sent12: if something is a kind of a West-sider but it is non-defiant the nosebag centers. sent13: the Nubian is a West-sider. ; $proof$ = 
sent6 & sent5 -> int1: the Nubian is a West-sider but it is not defiant.; int1 -> int2: there is something such that it is both a West-sider and not defiant.; int2 & sent12 -> hypothesis; __PROVED__