Hay to sleep on was fine; he had had far worse beds during the past four years.
He had used rocks as a bed in the past few years.
mnli hypothesis: He had used rocks as a bed in the past few years. premise: Hay to sleep on was fine; he had had far worse beds during the past four years.