Added some comments into AI.
Fixed problem in test suite 3.
Added one more handling of OR claim.
Fixed error with unpoped claim for stack in some cases.
Fixed problems, 4 test are now valid.
There was a problem in claiming answer OR.
If one of subsentences was false the second one claim result was
used only if it was YES, but no also gives great information.