OTTER experiments in a system of combinatory logic