fof(first_proposition,conjecture,fa=fa).
------------------
fof(second_proposition,conjecture,fb=fb).
fof(first_proposition,axiom,![Xa]:Xa=Xa).
------------------
fof(third_proposition,conjecture,fc=fc).
fof(first_proposition,axiom,![Xa]:Xa=Xa).
------------------
fof(fourth_proposition,conjecture,![Xd]:Xd=Xd).
fof(first_proposition,axiom,![Xa]:Xa=Xa).
------------------
fof(fourth_proposition,conjecture,fe=fe).
fof(third_proposition,axiom,![Xc]:Xc=Xc).
fof(second_proposition,axiom,![Xb]:Xb=Xb).
fof(first_proposition,axiom,![Xa]:Xa=Xa).
fof(fourth_proposition1,axiom,![Xd]:Xd=Xd).
------------------
fof(fifth_proposition,conjecture,ff=ff).
fof(fourth_proposition,axiom,![Xe]:Xe=Xe).
fof(third_proposition,axiom,![Xc]:Xc=Xc).
fof(second_proposition,axiom,![Xb]:Xb=Xb).
fof(first_proposition,axiom,![Xa]:Xa=Xa).