Added support from RULE induction when right site is false.