implement Proposition#toTriples();