Studying Artificial Intelligence... First order logic, first order nosebleed.. hahaha