Rify is a lightweight forward‑chaining inference engine for in‑memory RDF graphs, built in Rust (with JS bindings). It lets developers define simple conjunctive if‑then rules over RDF quads, then **prove** target statements, **validate** proofs, or **infer** all derivable facts, all with guaranteed O(nᵏ) resource bounds. It’s aimed at programmers needing fast, deterministic rule‑based reasoning on RDF data without the complexity of full‑blown reasoners.