Ebook Vivid Logic: Knowledge Based Reasoning With Two Kinds Of Negation