This rule is valid for conjunctions but not when a var is about an entire statement.
This rule is valid for conjunctions but not when a var is about an entire statement.
opennars/opennars,opennars/opennars,opennars/opennars,opennars/opennars