the fact that there is something such that if it does not right and/or it cats then it is not a kind of a sitar does not hold.
sent1: something is not a kind of a sitar if either it does not right or it is a cat or both. sent2: if something is a kind of a cat it is not a sitar. sent3: there is something such that if it cats then the fact that it is not a sitar hold. sent4: if something is not a kind of a right and/or it cats it is a sitar. sent5: there is something such that if it rights or it cats or both it is not a sitar. sent6: if the sap is not a right or it is a cat or both it is a sitar.
sent1 -> int1: if the sap is not right and/or it is a cat it is not a sitar.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does not right and/or it cats then it is not a kind of a sitar does not hold. ; $context$ = sent1: something is not a kind of a sitar if either it does not right or it is a cat or both. sent2: if something is a kind of a cat it is not a sitar. sent3: there is something such that if it cats then the fact that it is not a sitar hold. sent4: if something is not a kind of a right and/or it cats it is a sitar. sent5: there is something such that if it rights or it cats or both it is not a sitar. sent6: if the sap is not a right or it is a cat or both it is a sitar. ; $proof$ = 
sent1 -> int1: if the sap is not right and/or it is a cat it is not a sitar.; int1 -> hypothesis; __DISPROVED__