Premise: What choices have we? asked Gauve.

Hypothesis: Gauve didn't ask anything. 
Relation: contradiction