Issue with negative conclusion attribute

Question

Hi,
i written below rules:
rule_property[fragment:3]
The scheme does not have an x action if
           The scheme's current status is not active
rule_property[fragment:4]
The scheme has an x action if
          The scheme's supports an x action
Now from the debug I can see below values for the base attributes:
The scheme's current status is active
The scheme does not support an x action
The value of the conclusion is "the scheme does not have an x action"
I expect the value of the conclusion to "the scheme has an x action" as the attribute- "the scheme's current status is active" is true.
Can someone make me understand why it concludes so?
Thanks,

Answer 1

I tested this an it definitely looks like a bug. As you suspected it looks like it has something to do with proving the negative of a statement in one fragment and the positive of a statement in another fragment.
I will log this as a bug so we can look at fixing it for a future release
Luckily, there's a simple work around. The best work around for this is to use a rule table. In general, I would always prefer a rule table over rule fragments for the following reasons:
you automatically get a clear order of evaluation (top to bottom)
all the rules are in one place.
The default if no conditions hold is clear in the otherwise row.
| The scheme has an x action if
| false     | The scheme's current status is not active
| true      | The scheme's supports an x action
| uncertain | otherwise
Hope this helps
Cheers
Frank