A Brain-Inspired Sequence Learning Model based on a Logic