An application of automated equational reasoning to many-valued logic