premise: Bird-watchers explore a forest to see which of the following six kinds of birds—grosbeak, harrier, jay, martin, shrike, wren—it contains. The findings are consistent with the following conditions: If harriers are in the forest, then grosbeaks are not. If jays, martins, or both are in the forest, then so are harriers. If wrens are in the forest, then so are grosbeaks. If jays are not in the forest, then shrikes are. If both martins and harriers are in the forest, then which one of the following must be true?
hypothesis: Shrikes are the only other birds in the forest.