Make it use CrispModusPonens where appropriate
Make it use CrispModusPonens where appropriate

anitzkin/opencog,eddiemonroe/atomspace,Tiggels/opencog,rodsol/opencog,williampma/opencog,cosmoharrigan/atomspace,Selameab/atomspace,rodsol/opencog,tim777z/opencog,yantrabuddhi/atomspace,printedheart/atomspace,gaapt/opencog,ruiting/opencog,eddiemonroe/opencog,ceefour/atomspace,eddiemonroe/opencog,kim135797531/opencog,shujingke/opencog,Tiggels/opencog,ceefour/opencog,ruiting/opencog,inflector/opencog,ceefour/opencog,kinoc/opencog,cosmoharrigan/opencog,misgeatgit/opencog,jlegendary/opencog,ruiting/opencog,rTreutlein/atomspace,Allend575/opencog,AmeBel/opencog,AmeBel/opencog,TheNameIsNigel/opencog,virneo/opencog,prateeksaxena2809/opencog,printedheart/opencog,tim777z/opencog,ceefour/atomspace,misgeatgit/opencog,kim135797531/opencog,jswiergo/atomspace,sumitsourabh/opencog,printedheart/opencog,zhaozengguang/opencog,printedheart/atomspace,prateeksaxena2809/opencog,rTreutlein/atomspace,Tiggels/opencog,sanuj/opencog,kim135797531/opencog,williampma/atomspace,roselleebarle04/opencog,zhaozengguang/opencog,yantrabuddhi/opencog,prateeksaxena2809/opencog,rodsol/atomspace,UIKit0/atomspace,ArvinPan/opencog,gavrieltal/opencog,gaapt/opencog,andre-senna/opencog,kim135797531/opencog,prateeksaxena2809/opencog,UIKit0/atomspace,rohit12/opencog,sumitsourabh/opencog,cosmoharrigan/opencog,kinoc/opencog,ceefour/atomspace,Selameab/opencog,inflector/atomspace,cosmoharrigan/opencog,yantrabuddhi/atomspace,misgeatgit/atomspace,kim135797531/opencog,zhaozengguang/opencog,yantrabuddhi/opencog,Allend575/opencog,sumitsourabh/opencog,jswiergo/atomspace,Allend575/opencog,cosmoharrigan/atomspace,virneo/atomspace,Selameab/atomspace,kinoc/opencog,printedheart/opencog,gaapt/opencog,Allend575/opencog,rodsol/atomspace,yantrabuddhi/opencog,Selameab/atomspace,roselleebarle04/opencog,rohit12/opencog,sanuj/opencog,tim777z/opencog,MarcosPividori/atomspace,rTreutlein/atomspace,jlegendary/opencog,printedheart/opencog,rodsol/atomspace,anitzkin/opencog,MarcosPividori/atomspace,jlegendary/opencog,Selameab/atomspace,jlegendary/opencog,Selameab/opencog,MarcosPividori/atomspace,virneo/opencog,cosmoharrigan/atomspace,shujingke/opencog,shujingke/opencog,roselleebarle04/opencog,virneo/opencog,Selameab/opencog,virneo/atomspace,jlegendary/opencog,rodsol/opencog,anitzkin/opencog,inflector/atomspace,TheNameIsNigel/opencog,williampma/opencog,andre-senna/opencog,inflector/atomspace,AmeBel/atomspace,gaapt/opencog,kim135797531/opencog,virneo/opencog,iAMr00t/opencog,jswiergo/atomspace,tim777z/opencog,inflector/opencog,ceefour/opencog,shujingke/opencog,andre-senna/opencog,inflector/atomspace,anitzkin/opencog,kinoc/opencog,zhaozengguang/opencog,jswiergo/atomspace,ruiting/opencog,yantrabuddhi/opencog,gaapt/opencog,cosmoharrigan/opencog,sanuj/opencog,MarcosPividori/atomspace,misgeatgit/atomspace,virneo/atomspace,eddiemonroe/opencog,printedheart/atomspace,ArvinPan/opencog,yantrabuddhi/opencog,Allend575/opencog,cosmoharrigan/opencog,Allend575/opencog,iAMr00t/opencog,williampma/atomspace,misgeatgit/opencog,ArvinPan/opencog,williampma/atomspace,misgeatgit/atomspace,kinoc/opencog,andre-senna/opencog,ceefour/opencog,sanuj/opencog,printedheart/atomspace,iAMr00t/opencog,TheNameIsNigel/opencog,gavrieltal/opencog,virneo/opencog,sumitsourabh/opencog,sumitsourabh/opencog,shujingke/opencog,virneo/opencog,rohit12/opencog,eddiemonroe/atomspace,rodsol/atomspace,inflector/opencog,Selameab/opencog,williampma/opencog,inflector/opencog,TheNameIsNigel/opencog,misgeatgit/opencog,yantrabuddhi/atomspace,iAMr00t/opencog,Allend575/opencog,misgeatgit/opencog,williampma/atomspace,rohit12/opencog,kinoc/opencog,sumitsourabh/opencog,AmeBel/opencog,eddiemonroe/atomspace,rodsol/opencog,tim777z/opencog,printedheart/opencog,rohit12/opencog,inflector/atomspace,cosmoharrigan/atomspace,sumitsourabh/opencog,tim777z/opencog,ArvinPan/atomspace,misgeatgit/opencog,roselleebarle04/opencog,williampma/opencog,inflector/opencog,yantrabuddhi/opencog,zhaozengguang/opencog,eddiemonroe/opencog,AmeBel/opencog,AmeBel/atomspace,prateeksaxena2809/opencog,AmeBel/opencog,ruiting/opencog,roselleebarle04/opencog,kim135797531/opencog,eddiemonroe/opencog,Tiggels/opencog,iAMr00t/opencog,UIKit0/atomspace,UIKit0/atomspace,eddiemonroe/opencog,AmeBel/atomspace,misgeatgit/opencog,yantrabuddhi/atomspace,misgeatgit/opencog,TheNameIsNigel/opencog,gavrieltal/opencog,Tiggels/opencog,gavrieltal/opencog,rohit12/atomspace,jlegendary/opencog,shujingke/opencog,yantrabuddhi/atomspace,Selameab/opencog,inflector/opencog,gavrieltal/opencog,ruiting/opencog,jlegendary/opencog,inflector/opencog,AmeBel/atomspace,eddiemonroe/opencog,rTreutlein/atomspace,kinoc/opencog,sanuj/opencog,virneo/opencog,rohit12/atomspace,rohit12/atomspace,yantrabuddhi/opencog,misgeatgit/opencog,williampma/opencog,anitzkin/opencog,AmeBel/opencog,ArvinPan/atomspace,ceefour/opencog,shujingke/opencog,rohit12/atomspace,virneo/atomspace,roselleebarle04/opencog,prateeksaxena2809/opencog,gavrieltal/opencog,rodsol/opencog,cosmoharrigan/opencog,roselleebarle04/opencog,prateeksaxena2809/opencog,andre-senna/opencog,rohit12/opencog,AmeBel/atomspace,ruiting/opencog,eddiemonroe/atomspace,andre-senna/opencog,gavrieltal/opencog,anitzkin/opencog,Selameab/opencog,rodsol/opencog,andre-senna/opencog,iAMr00t/opencog,anitzkin/opencog,ceefour/opencog,misgeatgit/atomspace,ArvinPan/atomspace,gaapt/opencog,ceefour/atomspace,Tiggels/opencog,inflector/opencog,sanuj/opencog,williampma/opencog,ArvinPan/atomspace,ArvinPan/opencog,gaapt/opencog,TheNameIsNigel/opencog,eddiemonroe/atomspace,rTreutlein/atomspace,printedheart/opencog,zhaozengguang/opencog,ArvinPan/opencog,ArvinPan/opencog,ceefour/opencog,AmeBel/opencog,misgeatgit/atomspace