5. In TBC : `File -> New -> Project -> General -> Project -> Next`, and in `Project name` enter "rdf-unl" then click `Finish`
6. In TBC, open `rdf-unl/exemple-shacl-rules.shapes.ttl` in the Project explorer panel (bottom left). The file contains the SHACL rules and imports the rdf-unl model and the example.
7. In TBC menu : `Inference -> Run Inferences`
8. You should now see the infered triples in the Inference tab (bottom center)
9. You can now save the infered triples and run an OWL reasonner on them to exhibit the contradiction they contain (for instance in [Protégé 5](https://protege.stanford.edu/) as suggested in the paper)
If you are at ease with Semantic Web programing, you can also execute the SHACL rules with a library like Jena (beware that they are SHACL SPARQL CONSTRUCT Rules and are not supported by all SHACL engines)