there exists something such that if that it is a pentagon and it is a Mormon is not correct then it is not articulate.
sent1: there is something such that if that it is a kind of a Shirer is wrong it is not a kind of a Nanchang. sent2: the anchorite is not articulate if the fact that it is a pentagon that is a Mormon is incorrect. sent3: if the fact that something is a Shirer and does elongate is not right then it is not runic.
sent2 -> hypothesis;
there exists something such that if that it is a Shirer and it elongates is incorrect it is not runic.
sent3 -> int1: if the fact that the spiracle is a Shirer that does elongate is wrong it is not runic.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is a pentagon and it is a Mormon is not correct then it is not articulate. ; $context$ = sent1: there is something such that if that it is a kind of a Shirer is wrong it is not a kind of a Nanchang. sent2: the anchorite is not articulate if the fact that it is a pentagon that is a Mormon is incorrect. sent3: if the fact that something is a Shirer and does elongate is not right then it is not runic. ; $proof$ = 
sent2 -> hypothesis; __PROVED__