For an original proposal that do logic inference on Hypergraphs I am using NeuraLogic, through a Python frontend (https://github.com/LukasZahradnik/PyNeuraLogic)

I wonder if this is something the author would have enjoyed…