Generating Random Modal Formulae -- Equational Theorem Proving and Term Rewriting --