Modeling data verification tool by using first-order logic language