Example Symmetric Relation Proof Set