A System of Logic Rationactive and Inductive