Witness Finder

Build a tiny structure and watch sentences flip between true and false. The app shows witnesses and counterexamples as you toggle P and R.