Style fixes to Triangle facts

This is actually wrong (not your fault). It should be `>= 2`.