Comment by lstodd

I think the question is if the "rules" however captured can express reasoning.

My position is that it is not possible.