Conversationbuffermemory example. Logic puzzle the facts providing resulting inferences.