@prefix : <http://example.org/#>.

10 a :NaturalNumber.
9 a :NaturalNumber.
8 a :NaturalNumber.
7 a :NaturalNumber.
10 a :EvenNumber.
8 a :EvenNumber.
6 a :NaturalNumber.
6 a :EvenNumber.
5 a :NaturalNumber.
4 a :NaturalNumber.
4 a :EvenNumber.
3 a :NaturalNumber.
2 a :NaturalNumber.
2 a :EvenNumber.
1 a :NaturalNumber.
