Name the new modus ponens
Name the new modus ponens

AmeBel/opencog,AmeBel/opencog,misgeatgit/opencog,ruiting/opencog,misgeatgit/opencog,shujingke/opencog,AmeBel/opencog,yantrabuddhi/opencog,cosmoharrigan/opencog,yantrabuddhi/opencog,ruiting/opencog,misgeatgit/opencog,andre-senna/opencog,AmeBel/opencog,cosmoharrigan/opencog,inflector/opencog,andre-senna/opencog,ruiting/opencog,andre-senna/opencog,inflector/opencog,rodsol/opencog,rodsol/opencog,shujingke/opencog,ruiting/opencog,AmeBel/opencog,shujingke/opencog,yantrabuddhi/opencog,cosmoharrigan/opencog,shujingke/opencog,yantrabuddhi/opencog,ruiting/opencog,cosmoharrigan/opencog,shujingke/opencog,shujingke/opencog,andre-senna/opencog,rodsol/opencog,andre-senna/opencog,rodsol/opencog,inflector/opencog,misgeatgit/opencog,inflector/opencog,AmeBel/opencog,inflector/opencog,inflector/opencog,rodsol/opencog,yantrabuddhi/opencog,cosmoharrigan/opencog,inflector/opencog,ruiting/opencog,misgeatgit/opencog,yantrabuddhi/opencog,andre-senna/opencog,ruiting/opencog,misgeatgit/opencog,misgeatgit/opencog,shujingke/opencog,rodsol/opencog,yantrabuddhi/opencog,inflector/opencog,cosmoharrigan/opencog,misgeatgit/opencog,misgeatgit/opencog,andre-senna/opencog,AmeBel/opencog