Experimental study of "hypothesis formation" by computer