premise: Micheal has not visited Breckenridge, Stephen has visited Fort Worth, Fernando has not visited Longview and if Fernando has visited Longview then Jonathan has visited Sharon
hypothesis: Jonathan has not visited Sharon