premise: Randall has not visited Fairhaven, Andy has visited Bossier City, Terrance has visited Enid and if Terrance has visited Enid then Jonathan has visited Peterborough
hypothesis: Jonathan has not visited Peterborough