there exists something such that if it is not a kind of a statuary it is not a placental.
sent1: there is something such that if it is not a statuary it is a placental. sent2: the cenobite is abbatial if it is not a statuary. sent3: if something is not statuary it is not a placental. sent4: if the concha is a bookfair it is not a statuary.
sent3 -> int1: if the cenobite is not statuary then it is not a kind of a placental.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a statuary it is not a placental. ; $context$ = sent1: there is something such that if it is not a statuary it is a placental. sent2: the cenobite is abbatial if it is not a statuary. sent3: if something is not statuary it is not a placental. sent4: if the concha is a bookfair it is not a statuary. ; $proof$ = 
sent3 -> int1: if the cenobite is not statuary then it is not a kind of a placental.; int1 -> hypothesis; __PROVED__