[Bug] Inference rule "conjunction elimination" does not work

[ARCJ137442]

Describe the bug

The rule "conjunction elimination" in NAL-5 "Statements as Term" can decompose $(A \wedge B).$ (or (&&, A, B).) into $A.$ and $B.$ (A. and B.).

This is true both in NAL and in propositional logic, currently it is successfully tested in OpenNARS, but does not work in PyNARS.

To Reproduce
You can input these narsese to the NARS console:

(&&, A, B).
A?
B?

Expected behavior

It should output like this:

[ANSWER] A.
[ANSWER] B.

Screenshots

OpenNARS 3.1.0

PyNARS

Environment (please complete the following information)

• OS: Windows 11
• Language: Python 3.11
• branch: dev

[ccrock4t]

We will need this one fixed for Pong, though simplifying goals, not judgments. ( I think the inference rules are different)