E:\controlbot\controller\logicagent>ruby logicbot.rb Hello I have loaded E:/controlbot/controller/logicagent/logicagent-api.yaml. E:/controlbot/controller/logicagent/graph.yaml loaded. > reset graph > All x are z. > All y are z. > Are some x y? I have no knowledge that some x is y. > some x is plural > all x includes some x > Are some x y? I have no knowledge that some x are y. --- > reset graph > Some x are y. > All y are z. > Are some x z? I have no knowledge that some x are z. > All y includes y. > Are some x z? Yes, some x are z. > Why are some x z? some x are z because: some x are y, and y = all y, and all y is z --- > reset graph > All x are y. > Some y are z. > Are some x z? I have no knowledge that some x are z. > some y is plural > All x includes some x > Are some x z? I have no knowledge that some x are z. > Some y includes y > Are some x z? Yes, some x are z. > why are some x z? some x are z because: some x = all x, and all x is y, and y = some y, and some y are z > forget that y = some y > Are some x z? I have no knowledge that some x are z. >