无标题对话

Direct solver of Winograd Schema statements, no user queries.