需要了解更多信息请参考：
http://www.rinkerz.com/2017/02/28/provemachine/
have a try to prove statement by machine(unfinished)