Text this: Fast Static Learning and Inductive Reasoning with Applications to ATPG Problems