Download Vivid Logic Knowledge Based Reasoning With Two Kinds Of Negation