Premise: Not Proust in the cork-lined room.

Hypothesis: it turned that Proust wasn't in the room.
Relation: entailment