First simple and natural propositional logic lacking the finite model property