simplify an inference rule
working on checker2
working on checker2