the nitrocalcite is not cathectic.
sent1: if that something is both mitral and cathectic is not right the fact that it is not cathectic is true. sent2: the furniture is mitral if there exists something such that that it is not orthographic hold. sent3: that the nitrocalcite is orthographic is right. sent4: if there is something such that the fact that it is both not an oregano and orthographic is not right then the furniture is mitral. sent5: that the alloy is not an oregano but it is orthographic is false. sent6: if the furniture is mitral then the fact that the nitrocalcite is cathectic is correct. sent7: there exists something such that the fact that it is an oregano and it is orthographic is wrong.
sent5 -> int1: there exists something such that that it is not a kind of an oregano and it is orthographic does not hold.; int1 & sent4 -> int2: the furniture is mitral.; sent6 & int2 -> hypothesis;
the nitrocalcite is not cathectic.
sent1 -> int3: the nitrocalcite is not cathectic if that it is mitral and cathectic is incorrect.;
$hypothesis$ = the nitrocalcite is not cathectic. ; $context$ = sent1: if that something is both mitral and cathectic is not right the fact that it is not cathectic is true. sent2: the furniture is mitral if there exists something such that that it is not orthographic hold. sent3: that the nitrocalcite is orthographic is right. sent4: if there is something such that the fact that it is both not an oregano and orthographic is not right then the furniture is mitral. sent5: that the alloy is not an oregano but it is orthographic is false. sent6: if the furniture is mitral then the fact that the nitrocalcite is cathectic is correct. sent7: there exists something such that the fact that it is an oregano and it is orthographic is wrong. ; $proof$ = 
sent5 -> int1: there exists something such that that it is not a kind of an oregano and it is orthographic does not hold.; int1 & sent4 -> int2: the furniture is mitral.; sent6 & int2 -> hypothesis; __DISPROVED__