Weighing axioms
For all sentences Fact1, Fact2, ..., Factn (for some positive natural number n), State_of_affairs, and its opposite Not_state_of_affairs, and all terms pros and cons,
If Reason(fact1, state_of_affairs), Reason(fact2, state_of_affairs), ..., Reason(factn, state_of_affairs) are true, then Outweighs({fact1, fact2, ..., factn}, { }, state_of_affairs) is true.
Any non-empty set of reasons outweighs the empty one.