К сожалению, из текста не ясно, использовались ли инструменты (кроме поиска по базе ответов), от поиска в интернете до Python и Lean-движков.