the porringer is a kind of a belay.
sent1: if the porringer is not a kind of a breach then it is socioeconomic and it is a squid. sent2: something is not a kind of a belay if it does measure allomerism and it is a latchkey. sent3: if something is socioeconomic that it does not measure allomerism and does not trundle acolyte is incorrect. sent4: the porringer belays and it is a latchkey. sent5: if something is not a belay that it is a kind of a latchkey hold.
sent4 -> hypothesis;
the porringer is not a belay.
sent2 -> int1: the porringer is not a belay if it measures allomerism and is a kind of a latchkey.;
$hypothesis$ = the porringer is a kind of a belay. ; $context$ = sent1: if the porringer is not a kind of a breach then it is socioeconomic and it is a squid. sent2: something is not a kind of a belay if it does measure allomerism and it is a latchkey. sent3: if something is socioeconomic that it does not measure allomerism and does not trundle acolyte is incorrect. sent4: the porringer belays and it is a latchkey. sent5: if something is not a belay that it is a kind of a latchkey hold. ; $proof$ = 
sent4 -> hypothesis; __PROVED__