the process-server does not believe.
sent1: that something notches detainee and is not a culverin is not true if it is not abnormal. sent2: the fact that the go-getter suspends discipleship and it is a summit is not correct. sent3: if the fact that the porker does notch detainee but it is not a culverin is not right then the process-server does believe. sent4: the porker is not abnormal if the fact that the go-getter suspends discipleship and it does summit is false.
sent1 -> int1: if the porker is not abnormal then the fact that it notches detainee and it is not a culverin does not hold.; sent4 & sent2 -> int2: the porker is not abnormal.; int1 & int2 -> int3: that the porker notches detainee and is not a kind of a culverin is not true.; int3 & sent3 -> hypothesis;
$hypothesis$ = the process-server does not believe. ; $context$ = sent1: that something notches detainee and is not a culverin is not true if it is not abnormal. sent2: the fact that the go-getter suspends discipleship and it is a summit is not correct. sent3: if the fact that the porker does notch detainee but it is not a culverin is not right then the process-server does believe. sent4: the porker is not abnormal if the fact that the go-getter suspends discipleship and it does summit is false. ; $proof$ = 
sent1 -> int1: if the porker is not abnormal then the fact that it notches detainee and it is not a culverin does not hold.; sent4 & sent2 -> int2: the porker is not abnormal.; int1 & int2 -> int3: that the porker notches detainee and is not a kind of a culverin is not true.; int3 & sent3 -> hypothesis; __DISPROVED__