A simple FOL engine.