the fact that there exists something such that if it does not signify and it is not a Bairava it does not overwhelm inpatient hold.
sent1: if something does not signify and it is not a kind of a Bairava it does not overwhelm inpatient. sent2: there exists something such that if it is a kind of a sawyer and it is not a potbelly it is not creative.
sent1 -> int1: the Aegyptopithecus does not overwhelm inpatient if it does not signify and it is not a Bairava.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not signify and it is not a Bairava it does not overwhelm inpatient hold. ; $context$ = sent1: if something does not signify and it is not a kind of a Bairava it does not overwhelm inpatient. sent2: there exists something such that if it is a kind of a sawyer and it is not a potbelly it is not creative. ; $proof$ = 
sent1 -> int1: the Aegyptopithecus does not overwhelm inpatient if it does not signify and it is not a Bairava.; int1 -> hypothesis; __PROVED__