Моя ідея реалізації полягає в кількох етапах

1. Зчитка з файлу

   • просто читаємо файл повністю:

2. Лексер
   • розбиваємо зчитаний текст на токени для парсеру
3. Парсер
   • з заготовлених токенів витягує топрібні данні 3.1 Побудова графу
   • будуємо граф де факти (A,B,C...) це вершини
   • правила (наприклад B and C implies A) це зєднувальні вершини
   • 
4. Розвязання графу
   • ідемо по лісту визначених для нас фактів
     • заходимо в кожне правило , звязане з цим фактом і трансформуємо його відносно знаного факту
     • після трансформації отримуємо яксь нові значення фактів
     • додаєм нові до визначених
     • видаляємо факт з графа
   • у визначених(оновленних) фактах тепер є відповіді

Профіт!!!

я ніби написав 1-3.1 , спробуй запустити main.py

$ sourse setup.sh $ python main.py