positive entailment test page

I did not understand the text on the page:
http://www.w3.org/2005/rules/wiki/Positive_Entailment_Test

I drafted a text for the negative entailment test page:
http://www.w3.org/2005/rules/wiki/Negative_Entailment_Test

I suggest using the text (modulo the obvious changes) for the positive
entailment test page as well.


Best, Jos
-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
scholar.
  - Donald Foster