that the archives is not a Eniwetok and/or it is not antibacterial is false.
sent1: if that the titmouse is not an establishment and it is not a cymule is not right the insect is not a kind of an oxcart. sent2: the fact that the titmouse is not a kind of an establishment is not false if that the insect does not crook densitometry but it is a kind of a techno is incorrect. sent3: if the siskin is an antibacterial then the fact that the archives is not a Eniwetok and/or is not a kind of an antibacterial is not right. sent4: if the shiv is not a kind of an oxcart the siskin is not a determinant. sent5: if the titmouse is not an establishment the shiv is not a kind of an oxcart. sent6: the insect is not a cymule. sent7: that the insect does not crook densitometry and is a kind of a techno does not hold. sent8: the archives is antibacterial. sent9: if the siskin is not a techno that it is both a determinant and not an establishment is not correct. sent10: if the insect is not an oxcart and not a determinant the archives is not an oxcart. sent11: something is antibacterial if that the fact that it is a spruce and is not a kind of a cymule is not false is not true. sent12: something is not a Eniwetok or not antibacterial or both if it is not an oxcart. sent13: the fact that the insect does crook densitometry and it is a cymule is false.
sent2 & sent7 -> int1: the titmouse is not an establishment.; int1 & sent5 -> int2: that the shiv is not a kind of an oxcart is not false.; int2 & sent4 -> int3: the siskin is not a determinant.; sent11 -> int4: the siskin is a kind of an antibacterial if that it does spruce and it is not a cymule does not hold.;
the archives is not a Eniwetok or it is not antibacterial or both.
sent12 -> int5: if the archives is not an oxcart it is not a Eniwetok or not an antibacterial or both.;
$hypothesis$ = that the archives is not a Eniwetok and/or it is not antibacterial is false. ; $context$ = sent1: if that the titmouse is not an establishment and it is not a cymule is not right the insect is not a kind of an oxcart. sent2: the fact that the titmouse is not a kind of an establishment is not false if that the insect does not crook densitometry but it is a kind of a techno is incorrect. sent3: if the siskin is an antibacterial then the fact that the archives is not a Eniwetok and/or is not a kind of an antibacterial is not right. sent4: if the shiv is not a kind of an oxcart the siskin is not a determinant. sent5: if the titmouse is not an establishment the shiv is not a kind of an oxcart. sent6: the insect is not a cymule. sent7: that the insect does not crook densitometry and is a kind of a techno does not hold. sent8: the archives is antibacterial. sent9: if the siskin is not a techno that it is both a determinant and not an establishment is not correct. sent10: if the insect is not an oxcart and not a determinant the archives is not an oxcart. sent11: something is antibacterial if that the fact that it is a spruce and is not a kind of a cymule is not false is not true. sent12: something is not a Eniwetok or not antibacterial or both if it is not an oxcart. sent13: the fact that the insect does crook densitometry and it is a cymule is false. ; $proof$ = 
sent2 & sent7 -> int1: the titmouse is not an establishment.; int1 & sent5 -> int2: that the shiv is not a kind of an oxcart is not false.; int2 & sent4 -> int3: the siskin is not a determinant.; sent11 -> int4: the siskin is a kind of an antibacterial if that it does spruce and it is not a cymule does not hold.; __UNKNOWN__