premise: Alex has not visited Greenville, Kurt has not visited Fort Walton Beach, Terry has visited Oshkosh and if Kurt has visited Fort Walton Beach then Rodney has visited Marshall
hypothesis: Rodney has visited Marshall