(A\land C\Rightarrow B)\Rightarrow(A\Rightarrow B)