Reasoning Machine