Example: [rule conclusion containing blank nodes](https://pbonte.github.io/roxi/index.html?view=reasoning&abox=%3Chttp%3A%2F%2Fexample2.com%2Fa%3E%20%3Chttp%3A%2F%2Fwww.w3.org%2F1999%2F02%2F22-rdf-syntax-ns%23type%3E%20%3Chttp%3A%2F%2Fwww.test.be%2Ftest%23SubClass%3E%20.&rules=%40prefix%20test%3A%20%3Chttp%3A%2F%2Fwww.test.be%2Ftest%23%3E.%0A%40prefix%20rdf%3A%20%3Chttp%3A%2F%2Fwww.w3.org%2F1999%2F02%2F22-rdf-syntax-ns%23%3E.%0A%7B%3Fs%20rdf%3Atype%20test%3ASubClass.%20%7D%0A%3D%3E%0A%7B%0A%20%20%3Fs%20rdf%3Atype%20test%3ASuperType.%0A%20%20test%3AA%20test%3Apred%20%5B%0A%20%20%20%20test%3Asub%20test%3AS%0A%20%20%5D%20.%0A%7D) Interestingly, blank nodes do work when put in the ABox.