public void GetResult() => Console.WriteLine(_engine?.Prove(_kb, _ask) ?? DPLL.GetResult(_kb, _ask));