premise: Sidney has only visited São Tomé & Prícipe, Melvin has only visited Ireland, Fernando has only visited Georgia, Gene has only visited Palau, Ben has only visited Chad, Jacob has only visited Croatia, Tracy has only visited Saint Lucia
hypothesis: Tracy didn't visit Saint Lucia