Small Worlds

Build a tiny finite world and test random first order sentences against it. Click to add elements, then press Space to ask questions.