Generated natural-language sentences for Aristo rules from AI2 hackathon project