Premise: without having to go to the [actual] library.

Hypothesis: They didn't need to go to the actual library.
Relation: entailment