Email (record): Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers