Resolution in Predicate logic

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=-gCIrA5NwT4




#############################