Multiple_modus_ponens loading ...