there exists something such that if that it either does not communicate or is areolar or both does not hold it does pin cam.
sent1: if that something is not papal or is correct or both is not true then it does exclaim mercilessness. sent2: something pins cam if that it does not communicate and/or it is areolar is not right. sent3: something pins cam if that it does communicate or it is areolar or both is not correct.
sent2 -> int1: the marquee pins cam if that either it does not communicate or it is areolar or both is not correct.; int1 -> hypothesis;
the magnesite exclaims mercilessness if that that it is not papal or it does correct or both is not wrong is not right.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if that it either does not communicate or is areolar or both does not hold it does pin cam. ; $context$ = sent1: if that something is not papal or is correct or both is not true then it does exclaim mercilessness. sent2: something pins cam if that it does not communicate and/or it is areolar is not right. sent3: something pins cam if that it does communicate or it is areolar or both is not correct. ; $proof$ = 
sent2 -> int1: the marquee pins cam if that either it does not communicate or it is areolar or both is not correct.; int1 -> hypothesis; __PROVED__