Triangle Facts: Please Review

Appreciate if you could review my triangle fact exercise.
Use postconditions for statements like this whenever possible. It avoids the nesting & the result is more readable.