∠BFD与∠A是同位角,且∠BFD=∠A,(小前提)
∴DF∥EA.(结论)
(2)两组对边分别平行的四边形是平行四边形,(大前提)
DE∥BA,且DF∥EA,(小前提)
∴四边形AFDE为平行四边形.(结论)
(3)平行四边形的对边相等,(大前提)
ED和AF为平行四边形的对边,(小前提)
∴ED=AF.(结论).