premise: Johnnie has not visited Chambersburg, Julian has visited Manassas, Eduardo has not visited Amana Colonies and if Eduardo has not visited Amana Colonies then Ted has visited Ridgewood
hypothesis: Ted has not visited Ridgewood