log:conclusion

What if we could only infer the car was red?

{ ?car a auto:SuperSportyModel. }
=>
{ ?car auto:color auto:red. }

our defaults rule wont use that fact unless we ask cwm to do another level of rules processing.

this log:forAll :car.
{ :car.auto:specification.log:conclusion 
        log:notIncludes {:car auto:color []}}
=> {:car auto:color auto:black}.