Premise: We had us two books.
Hypothesis: We had one book. 
Label: contradiction