the cobaltite is not Hittite.
sent1: the phenylpropanolamine is not abbatial. sent2: the calyptra is not a kind of a mugwort if the fact that the phenylpropanolamine is not a abience and not a fantan does not hold. sent3: if that the sabertooth is not a Elizabethan hold then the phenylpropanolamine is not a kind of a mugwort. sent4: the brain is not a kind of a Hittite. sent5: the sabertooth is not a case. sent6: if the cobaltite is not a abience then the calyptra is not Hittite. sent7: the sabertooth is not a kind of a mugwort. sent8: the calyptra is not a mugwort. sent9: if the calyptra is not a kind of a mugwort then that the phenylpropanolamine is not a abience is right. sent10: if the fact that the calyptra is not a abience and it is not a kind of a fantan is incorrect the sabertooth is not a kind of a Elizabethan. sent11: the fact that the calyptra is not a abience and it is not a kind of a fantan does not hold. sent12: the calyptra is not a mugwort if the phenylpropanolamine is not a abience. sent13: the cobaltite is not a Hittite if the phenylpropanolamine is not a kind of a mugwort. sent14: the fact that the cobaltite is not a Elizabethan and is not Hittite does not hold. sent15: the phenylpropanolamine is not a fantan if the calyptra is not a kind of a mugwort. sent16: the phenylpropanolamine is not a kind of a Elizabethan. sent17: if the calyptra is a fantan then the sabertooth is not a Elizabethan. sent18: if the calyptra is not a Hittite the cobaltite is not a abience. sent19: the calyptra is not a kind of a diachrony. sent20: the fact that the calyptra is not a abience but it is a fantan does not hold. sent21: if the sabertooth is not a fantan then the fact that the calyptra is non-Elizabethan hold. sent22: the cobaltite is not a fantan.
sent10 & sent11 -> int1: the sabertooth is not a Elizabethan.; sent3 & int1 -> int2: the phenylpropanolamine is not a mugwort.; sent13 & int2 -> hypothesis;
$hypothesis$ = the cobaltite is not Hittite. ; $context$ = sent1: the phenylpropanolamine is not abbatial. sent2: the calyptra is not a kind of a mugwort if the fact that the phenylpropanolamine is not a abience and not a fantan does not hold. sent3: if that the sabertooth is not a Elizabethan hold then the phenylpropanolamine is not a kind of a mugwort. sent4: the brain is not a kind of a Hittite. sent5: the sabertooth is not a case. sent6: if the cobaltite is not a abience then the calyptra is not Hittite. sent7: the sabertooth is not a kind of a mugwort. sent8: the calyptra is not a mugwort. sent9: if the calyptra is not a kind of a mugwort then that the phenylpropanolamine is not a abience is right. sent10: if the fact that the calyptra is not a abience and it is not a kind of a fantan is incorrect the sabertooth is not a kind of a Elizabethan. sent11: the fact that the calyptra is not a abience and it is not a kind of a fantan does not hold. sent12: the calyptra is not a mugwort if the phenylpropanolamine is not a abience. sent13: the cobaltite is not a Hittite if the phenylpropanolamine is not a kind of a mugwort. sent14: the fact that the cobaltite is not a Elizabethan and is not Hittite does not hold. sent15: the phenylpropanolamine is not a fantan if the calyptra is not a kind of a mugwort. sent16: the phenylpropanolamine is not a kind of a Elizabethan. sent17: if the calyptra is a fantan then the sabertooth is not a Elizabethan. sent18: if the calyptra is not a Hittite the cobaltite is not a abience. sent19: the calyptra is not a kind of a diachrony. sent20: the fact that the calyptra is not a abience but it is a fantan does not hold. sent21: if the sabertooth is not a fantan then the fact that the calyptra is non-Elizabethan hold. sent22: the cobaltite is not a fantan. ; $proof$ = 
sent10 & sent11 -> int1: the sabertooth is not a Elizabethan.; sent3 & int1 -> int2: the phenylpropanolamine is not a mugwort.; sent13 & int2 -> hypothesis; __PROVED__