Here is an evidence checker for PP.

  check(G,H)
    Evidence:
       An index set I ⊆ {1,2,3,…,n}

    Requirement:
       (Σi ∈ I xi) = (Σi ∉ I xi)