Text this: A Network Representation of First-Order Logic That Uses Token Evolution for Inference.