premise: Leon has not visited Logan, Earl has visited Stratford, Thomas has visited Myrtle Beach and if Thomas has visited Myrtle Beach then Clifton has visited Lower Southampton
hypothesis: Clifton has not visited Lower Southampton