Designing a Rule System That Searches for Scientific Discoveries