test basic inference rule.