kb.addPropertyValue(p, c, a);
kb.addPropertyValue(f, a, b);
List<RuleAtom> body = Arrays.<RuleAtom>asList(new IndividualPropertyAtom(f, x, y), new IndividualPropertyAtom(p, x, z));
List<RuleAtom> head = Arrays.<RuleAtom>asList(new IndividualPropertyAtom(r, z, y));
Rule rule = new Rule(head, body);
kb.addRule(rule);
explainEntailment(kb.hasPropertyValue(b, q, c),
ATermUtils.makePropAtom(p, c, a),
ATermUtils.makePropAtom(f, a, b),