The Tiny Model Garden

Build a tiny universe with two properties and one relation. A sentence machine keeps checking what is true in what you made.