First-Order Logic ToolKit