the fact that the disposal is afraid and it does attach does not hold.
sent1: the run is not a nitrate if the K is proper. sent2: if that something does not liquefy eighteen and is insoluble is not right then it is proper. sent3: if that the run is abomasal and is a Taiwanese is incorrect then that the disposal is not a hibachi hold. sent4: the K is a kind of a noose. sent5: that the K does not liquefy eighteen and is not soluble is false if it is a kind of a noose. sent6: that something is afraid and attaches is wrong if it does not hibachi.
sent2 -> int1: the fact that the K is proper is not incorrect if the fact that it does not liquefy eighteen and it is insoluble does not hold.; sent5 & sent4 -> int2: that the K does not liquefy eighteen and it is not soluble is wrong.; int1 & int2 -> int3: the K is proper.; int3 & sent1 -> int4: that the run does not nitrate is right.; sent6 -> int5: if the fact that the disposal is not a hibachi hold the fact that that it is afraid and attaches is right does not hold.;
$hypothesis$ = the fact that the disposal is afraid and it does attach does not hold. ; $context$ = sent1: the run is not a nitrate if the K is proper. sent2: if that something does not liquefy eighteen and is insoluble is not right then it is proper. sent3: if that the run is abomasal and is a Taiwanese is incorrect then that the disposal is not a hibachi hold. sent4: the K is a kind of a noose. sent5: that the K does not liquefy eighteen and is not soluble is false if it is a kind of a noose. sent6: that something is afraid and attaches is wrong if it does not hibachi. ; $proof$ = 
sent2 -> int1: the fact that the K is proper is not incorrect if the fact that it does not liquefy eighteen and it is insoluble does not hold.; sent5 & sent4 -> int2: that the K does not liquefy eighteen and it is not soluble is wrong.; int1 & int2 -> int3: the K is proper.; int3 & sent1 -> int4: that the run does not nitrate is right.; sent6 -> int5: if the fact that the disposal is not a hibachi hold the fact that that it is afraid and attaches is right does not hold.; __UNKNOWN__