premise: Dave has not visited Houston, Russell has not visited Portsmouth, Aaron has visited McKinney and if Russell has not visited Portsmouth then Hector has visited Little Falls
hypothesis: Hector has not visited Little Falls