How virtuoso do if-then rules inference?

I am new to Openlink Virtuoso. And I want to do some inference rules based on if-then statements, like,

if (B is fatherof C & A is fatherof B) then (A is grandfatherof C).

According to http://docs.openlinksw.com/virtuoso/rdfsparqlrule/, Virtuoso could use Ontology(Graph) to inference RDF.Is Virtuoso possible to use if-then statement inference rules?

Thank you !