the fact that there exists something such that if it is not nonpregnant it is a kind of a cove that is a kind of a pentacle does not hold.
sent1: there exists something such that if it is nonpregnant it is both a cove and a pentacle. sent2: there exists something such that if the fact that it is not nonpregnant hold that it is a cove hold. sent3: there exists something such that if it is not nonpregnant then it is a kind of a pentacle. sent4: the booklet is a cove if it is not nonpregnant. sent5: the booklet is a cove and it is a pentacle if it is not nonpregnant.
sent5 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not nonpregnant it is a kind of a cove that is a kind of a pentacle does not hold. ; $context$ = sent1: there exists something such that if it is nonpregnant it is both a cove and a pentacle. sent2: there exists something such that if the fact that it is not nonpregnant hold that it is a cove hold. sent3: there exists something such that if it is not nonpregnant then it is a kind of a pentacle. sent4: the booklet is a cove if it is not nonpregnant. sent5: the booklet is a cove and it is a pentacle if it is not nonpregnant. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__