1 (∀X)(∀y)(∀z)[(Ix • Jx • Iy • Jy • Iz $\lor$

1. (∀x) (∀y) (∀z) [(Ix • Jx • Iy • Jy • Iz • Jz) ⊃ (x=y $\lor$ y=z $\lor$ x=z) ]
2. Ia • Ja • Ka • Ib • Jb • Kb • a≠b
-Which of the following propositions is an immediate (one-step) consequence in F of the given premises?

A) (Ia • Ja • Ib • Jb • Ic • Jc) ⊃ (a=b $\lor$ b=c $\lor$ a=c) ]
B) (∀y) (∀z) [(Ia • Ja • Ia • Ja • Ia • Ja) ⊃ (a=y $\lor$ y=z $\lor$ a=z) ]
C) a≠b • Ib • Ja
D) (∀y) (∀z) [(Ia • Ja • Iy • Jy • Iz • Jz) ⊃ (x=y $\lor$ y=z $\lor$ x=z) ]
E) (∀y) (∀z) [(Ia • Ja • Iy • Jy • Iz • Jz) ⊃ (a=y $\lor$ y=z $\lor$ a=z) ]