premise: Richard has not visited Kirksville, Jim has not visited Levittown, Micheal has visited Charleston and if Richard has visited Kirksville then Fred has visited Newport Beach
hypothesis: Fred has visited Newport Beach