Style fixes to Triangle facts

You can move this calculation into a separate method say `def compute_angle(a, b, c)` to reduce the repetition here.