Plunk:


   Hypothetical premise

      connector-1-value = x  P1

      connector-2-value = y  P2


   Deduction yields values

      x = 3                  {P1 P2} U G1

      y = 4                  {P2} U G2


   Conditional proof deletes premises P1, P2
    so actual dependencies are:

      x = 3                  G1

      y = 4                  G2