So H should follow from T 2 : All ogres are green but not from T 1 : There is a green ogre.
we introduce a new constant D for the query and assert ogre(D) to test if we can then conclude that green(D).