jaclearn.logic.propositional.logic_induction.logic_induction#