논린이 관계(?) 술어 질문

[익명(220.88)]

김치는 배추로 만들었다.
배추는 식물이다.
식물로 만든 것은 맛있다
------
김치는 맛있다




타당해 보이는 데, '만들었다' 때문에 헷갈립니다.
형식 논리로 변형 어떻게 하면 되나요?

[익명(117.111)]

김치는 배추로 만들었다.= 모든x(x는 김치이다.->어떤y(y는 배추이다.&x는 y로 만들었다.))배추는 식물이다.= 모든x(x는 배추이다.->x는 식물이다.)식물로 만든 것은 맛있다.= 모든x(어떤y(y는 식물이다.&x는 y로 만들었다.)->(x는 맛있다))==========김치는 맛있다.= 모든x(x는 김치이다.->x는 맛있다.)

[익명(117.111)]

ㅅㅂ 줄바꿈 안되네.