Countermodel Kitchen

Pick some rules for a relation and I will search for a small model that satisfies them. The result is shown as a matrix and a graph.