premise: Jamie has not visited Mount Vernon, Terrence has visited Washington, Carl has not visited Saint Louis and if Carl has visited Saint Louis then Gordon has visited Woods Hole
hypothesis: Gordon has not visited Woods Hole