jaclearn.logic.propositional.logic_induction.setup#