Complex sentence: Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning in a way that allows the creation of software which allows computers to reason completely or nearly completely, automatically.
Split into simpler sentences: Automated reasoning is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely or nearly completely, automatically.