that the addict is not a servitude and suspends Portuguese is incorrect if the fact that the bullethead is not a frown is correct.
sent1: that something is a servitude and it suspends Portuguese does not hold if it is a kind of a NIDDM. sent2: that something is not a kind of a servitude and suspends Portuguese is not correct if that it is a NIDDM is right. sent3: if the addict is not a kind of a NIDDM the bullethead is a kind of a foram. sent4: the addict is not a servitude and does suspend Portuguese if it is a kind of a NIDDM.
void -> assump2: Let's assume that the addict is not a NIDDM.; sent3 & assump2 -> int1: the bullethead is a foram.; void -> assump1: Let's assume that the bullethead does not frown.; sent2 -> int2: if the addict is a kind of a NIDDM then that it is not a servitude and it does suspend Portuguese does not hold.;
$hypothesis$ = that the addict is not a servitude and suspends Portuguese is incorrect if the fact that the bullethead is not a frown is correct. ; $context$ = sent1: that something is a servitude and it suspends Portuguese does not hold if it is a kind of a NIDDM. sent2: that something is not a kind of a servitude and suspends Portuguese is not correct if that it is a NIDDM is right. sent3: if the addict is not a kind of a NIDDM the bullethead is a kind of a foram. sent4: the addict is not a servitude and does suspend Portuguese if it is a kind of a NIDDM. ; $proof$ = 
void -> assump2: Let's assume that the addict is not a NIDDM.; sent3 & assump2 -> int1: the bullethead is a foram.; void -> assump1: Let's assume that the bullethead does not frown.; sent2 -> int2: if the addict is a kind of a NIDDM then that it is not a servitude and it does suspend Portuguese does not hold.; __UNKNOWN__