Premise: Not Proust in the cork-lined room.

Hypothesis: It was Proust in the cork-filled room.
Relation: contradiction