No in his example also he showed such example where FIFO is not following stack property but its ovbiously possible to find such example where FIFO may be following stack property but the proof he did was proof by contradiction method so he showed only that example of FIFO which violates stack property and causes beladys anomaly but there are of course examples possible where FIFO may follow stack property