Added a deque structure to enqueue facts and assert them in the main loop.