Weighing
If Reason(pro1, state_of_affairs), ..., Reason(pron, state_of_affairs), Reason(con1, not_state_of_affairs), ..., Reason(conm, not_state_of_affairs), and also Outweighs({pro1, pro2, ..., pron}, {con1, con2, ..., conm}, state_of_affairs) is true, then State_of_affairs is true, or there is a term con, different from con1, con2, ..., and conm, such that Reason(con, not_state_of_affairs) is true.