premise: Ivan has not visited Pine Bluff, Brian has not visited West Haven, Harry has visited Waukesha and if Brian has not visited West Haven then Alvin has not visited Farmington
hypothesis: Alvin has not visited Farmington