Premise: Ontario . These are the Rainy River , the Pigeon River , Lake Superior , the St. Marys River , Lake Huron , the St. Clair River , Lake St. Clair , the Detroit River , Lake Erie , the Niagara River , Lake Ontario and along the St. Lawrence River from Kingston , Ontario , to the Quebec boundary just east of Cornwall , Ontario .
Hypothesis: Ontario contains The St. Lawrence River.
Label: ENTAILMENT