premise: Karl has only visited Jordan, Nicholas has only visited Greece, Dave has only visited Antigua & Barbuda, Jon has only visited Ghana, Tyler has only visited Turkmenistan, Dan has only visited Algeria, Lloyd has only visited Armenia, Craig has only visited Fiji
hypothesis: Jon didn't visit Iraq