see

Backward rule example

Insight

The derivation produced 1 new fact(s) from 0 stated fact(s).
Main conclusion: 5 :isIndeedMoreInterestingThan 3.

Selected conclusions:

• 5 :isIndeedMoreInterestingThan 3 .

Explanation

The generated JavaScript starts from 0 compiled source fact(s), applies 2 compiled rule(s), and stops only after a fixpoint is reached.

A compact derivation path is:

• Rule 2: if 5 :moreInterestingThan 3, then 5 :isIndeedMoreInterestingThan 3. This produced 5 :isIndeedMoreInterestingThan 3 .

Evidence

These are the derived non-input facts selected for the report. Source facts that support the explanation are shown inline with each derivation step.

5 :isIndeedMoreInterestingThan 3 .