Plain-English logic interpreter

Developer-facing demo of Plain-English logic interpreter. Small judgments that used to need an LLM call.