Proof for RETE