Railway Reasoning