Text this: Discovering formal logic