we have an apparently-working trie now.

The trie can be built from an inference-rules file and then find
matching rules for a given sentence.