Automated reasoning | HearLore