A small model, found

Pick a few sentences about P, Q, R on a finite ring. A search tries to satisfy them and draws the model it finds.