fitch arrow proof

Question

using the FITCH program and the FITCH derivation rules you should make a proof or derivation of C7 from P5 through P11.

P5: ∀x∀y(StrongPref(x,y)→ ¬StrongPref(y,x))

P6: ∀x∀y∀z((StrongPref(x,y)∧StrongPref(y,z))→StrongPref(x,z))

P7: ∀xIndiff(x,x)

P8: ∀x∀y(Indiff(x,y)→Indiff(y,x))

P9: ∀x∀y∀z((StrongPref(x,y)∧Indiff(y,z))→StrongPref(x,z))

P10: ∀x∀y(StrongPref(x,y)∨Indiff(x,y)∨StrongPref(y,x))

P11: ∀x∀y(WeakPref(x,y)↔(StrongPref(x,y)∨Indiff(x,y)))

C7: ∀x∀y∀z((StrongPref(x,y)∧StrongPref(y,z))→StrongPref(x,z))

C7 is totally the same as P6? So that means I can't use P6?