Доказать клаузу аксиоматическим методом и методом дедукции.

[ultimateman21]

У меня есть вот такая клауза:

A∨B, D∨E, D∨C, D→C⇒ A∧D; B; C∧E

Мне нужно её доказать аксиоматическим методом и методом дедукции. У меня не получается это сделать.

В аксиоматическом методе можно использовать аксиомы и правила. В методе дедукции аксиомы, правила и стандартные формулы алгебры логики(раскрытие импликации через дизъюнкцию, законы де моргана и т. д.).

Аксиомы:
1. x→(y→x)
2. (x→(y→z))→((x→y)→(x→z))
3. x∧y→x
4. x∧y→y
5. (z→x)→((z→y)→(z→x∧y))
6. x→x∨y
7. y→x∨y
8. (x→z)→((y→z)→(x∨y→z))
9. (x→y)→(В¬y→В¬x)
10. В¬(В¬x)→x
11. x→В¬(В¬x)

Правила:
правило заключения
правило подстановки
правило сложного заключения
правило одновременной подстановки
правило силлогизма
правило контрпозиции
правило двойного отрицания
правило введения конъюкции
правило введения дизъюнкции
закон перестановки посылок
закон соединения посылок
закон разъединения посылок
закон исключения третьего
рефлексивность импликации
теорема дедукции

Своими силами я смог доказать только C дальше дело не пошло
Я понимаю что мне нужно доказать либо A∧D либо B либо C∧E, но A и B доказать в любом случае не получится остаётся доказать либо D либо E либо их одновременно, но у меня не выходит.