The Story of Logic Reasoning