Finite Model Lab

Build a tiny structure and toggle its relations. Type first order sentences and watch which ones turn true or false.