Find and eliminate cases where and/or is used with a single clause.

[alanruttenberg]

Werner Ceusters points one out

(cl:comment "quality, realizable-entity are mutually disjoint [ksk-1]"
  (and
   (not
    (exists (x t)
     (and (instance-of x quality t)
      (instance-of x realizable-entity t))))))

It's possible that there are axioms generated by a macro that might include multiple clauses but didn't go to the effort of not having the "and" in the case there was one. It's logically well-defined so it's a cosmetic fix rather than something that affects the logic.

[alanruttenberg]

This will be fixed in the upcoming release.