A Contradiction-Based Framework for Testing Gene Regulation Hypotheses