Abzianidze, L. A Pure Logic-Based Approach to Natural Reasoning. Proceedings of the AC 2015, 40-49.