that something is not a varnish and does not achieve is not true.
sent1: the marum does striate. sent2: if there is something such that it does not fixate then the marum is an electron. sent3: that the gob fixates and it is a kind of a CD does not hold. sent4: if there exists something such that that it fixates and it is a CD does not hold then the marum is an electron. sent5: the nitrite is not a varnish and does not achieve if the serial striates. sent6: something is a North if it does overprint decoy. sent7: the marum is not a glacier. sent8: the serial does not overprint decoy if it is not a North. sent9: there is something such that it does not fornicate. sent10: if the nitrite is a varnish the gob is both not a CD and not a North. sent11: if the marum is a North then the serial is striate. sent12: if something is an electron then it does overprint decoy.
sent3 -> int1: there is something such that the fact that it does fixate and is a kind of a CD is not correct.; int1 & sent4 -> int2: the marum is an electron.; sent12 -> int3: the marum overprints decoy if it is an electron.; int2 & int3 -> int4: the fact that the marum overprints decoy is true.; sent6 -> int5: if the marum does overprint decoy it is a kind of a North.; int4 & int5 -> int6: the marum is a North.; int6 & sent11 -> int7: the serial is striate.; int7 & sent5 -> int8: the nitrite is not a kind of a varnish and does not achieve.; int8 -> hypothesis;
there exists something such that the fact that it does dismiss and is a kind of a squash is not correct.
$hypothesis$ = that something is not a varnish and does not achieve is not true. ; $context$ = sent1: the marum does striate. sent2: if there is something such that it does not fixate then the marum is an electron. sent3: that the gob fixates and it is a kind of a CD does not hold. sent4: if there exists something such that that it fixates and it is a CD does not hold then the marum is an electron. sent5: the nitrite is not a varnish and does not achieve if the serial striates. sent6: something is a North if it does overprint decoy. sent7: the marum is not a glacier. sent8: the serial does not overprint decoy if it is not a North. sent9: there is something such that it does not fornicate. sent10: if the nitrite is a varnish the gob is both not a CD and not a North. sent11: if the marum is a North then the serial is striate. sent12: if something is an electron then it does overprint decoy. ; $proof$ = 
sent3 -> int1: there is something such that the fact that it does fixate and is a kind of a CD is not correct.; int1 & sent4 -> int2: the marum is an electron.; sent12 -> int3: the marum overprints decoy if it is an electron.; int2 & int3 -> int4: the fact that the marum overprints decoy is true.; sent6 -> int5: if the marum does overprint decoy it is a kind of a North.; int4 & int5 -> int6: the marum is a North.; int6 & sent11 -> int7: the serial is striate.; int7 & sent5 -> int8: the nitrite is not a kind of a varnish and does not achieve.; int8 -> hypothesis; __DISPROVED__