Empirical plausible reasoning by multiple-valued logic