How to prove (A ∨ ~ B), ( ~ A ∨ C), ( ~ C → B) therefore ~ D ∨ C) TRUE

	A ∨ ~ B
	~ A ∨ C
	~ C → B
	~ D ∨ C