Style fixes to Triangle facts

Technically-speaking, it should be <= 2.  For the purposes of this exercise, though, this does not need to be changed.