thanks fo lettin me know of your work.
well, i'm supporting you in your research...
for the "first degree inference" i did read this feature and what was interesting was just to go beyond this simple rule...
and may be to crosscheck the proposition for logic so it does not contradict itself or fall into logic trap or false conclusion.
so when it found a new fact, no previous conclusion/observation must contradict the "discovery" or more supple-more real life,the fuzzy logic manner: the more it is "improbable" the less it will catch and use the new fact...
that would be great !