逻辑理论机制

logic theory machine