Expert System

This is a Java program that I did as a final project for my Artificial Intelligence courses, it is an expert system working in forward-chaining, you can try it, add to the fact's base this:

It-rains
I-work
I'm-wet

And then add to the rules base this:
It-rains I-work -> I'm-late
I'm-late I'm-wet -> I'm-fired

Then you can try to prove in forward-chaining that with this facts and this rules you can be fired, you have to type I'm-fired under "tapez le fait à démontrer en chainage avant". And push the button Démontrer fait! You'll have a message saying if that fact can be proved or not by forward-chainig.