finish up the implication unit test.
finish up the implication unit test.

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