http://ai.neocities.org/PMPJ.html#news We have made the 701=I default ego-concept be inhibited, and we see now that ghost165.pl achieves a better orchestration of the conceptual activation levels. For instance, we entered "You know boys" and "Boys play games." Soon and often the AI made the output "I KNOW BOYS". After neuronal inhibition had dissipated sufficiently, eventually the AI made first the output "I KNOW BOYS" and then "I AM ANDRU" and "BOYS PLAY GAMES".
http://www.amazon.com/dp/B00FKJY1WY -- Andru achieves automated reasoning by means of logical inference.