Reasoner example created by nlp.py

Allikas: Lambda
cfather(cJohn,cAndrew).
cman(cAndrew).
-cfather(X1,cAndrew) | ans(X1).