Family logic

What this is? A self‑contained, browser‑only port of the Horn‑logic forward chainer. It saturates a small family KB with rules (siblings, grand‑relations, uncles/aunts by blood or marriage), records one proof per derived fact, and presents the results as Answer • Reason • Check.

Tip: Click Run to re‑derive from scratch; try toggling the “strict siblings” option.