there is something such that if it is a kind of a Hogmanay then that it is not a small and/or it is titular does not hold.
sent1: either the bondwoman is not small or it is titular or both if it is a Hogmanay. sent2: there is something such that if it is a Hogmanay then it is a small. sent3: the fact that the bondwoman is non-small or is titular or both does not hold if the fact that it is a Hogmanay is true. sent4: there is something such that if it is a kind of a Monophysite that it is not a kind of a prejudgment and/or it gesticulates bondwoman is not right.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a Hogmanay then that it is not a small and/or it is titular does not hold. ; $context$ = sent1: either the bondwoman is not small or it is titular or both if it is a Hogmanay. sent2: there is something such that if it is a Hogmanay then it is a small. sent3: the fact that the bondwoman is non-small or is titular or both does not hold if the fact that it is a Hogmanay is true. sent4: there is something such that if it is a kind of a Monophysite that it is not a kind of a prejudgment and/or it gesticulates bondwoman is not right. ; $proof$ = 
sent3 -> hypothesis; __PROVED__