Thanks Peter.
But pay attention to the top of the github page:
"Chimezie Ogbuji's FuXi reasoner. NON-FUNCTIONING, RETAINED FOR ARCHIVAL PURPOSES.
For working code plus version and associated support requirements see: http://code.google.com/p/fuxi/ "Best,
Rui