Sleyer
Clarity through distinction.
Sleyer is a structured reasoning system.