Simple Reasoning Examples, using tawny-owl