premise: Ruben has not visited Owatonna, Bruce has visited New Smyrna Beach, Alex has not visited Branford and if Alex has not visited Branford then Hector has visited Scarborough
hypothesis: Hector has not visited Scarborough