Print failed SAT rules.
Human readable description of SAT rules.