Premise: And that would include boraquasco.
Hypothesis: The boraquasco was not included. 
Label: contradiction