premise: Randall has not visited Aliquippa, Leroy has not visited Petaluma, Salvador has visited Port Orford and if Randall has not visited Aliquippa then Steve has visited Andalusia
hypothesis: Steve has not visited Andalusia