Style fixes to Triangle facts

You shouldn't have to pass `side1, side2, side3` since they are member variables. Just rename the method to `angles` and you can remove line 32!