The Second Buffered Reader sees the stream as empty because the First Buffered Reader read the underlying stream to EOF when filling the buffer. There is nothing remaining to read.

All of your assumptions are true.