Hi Guys,

I was trying to prove the following statement, please help to see if it is correct:

(A-->B)-->C

not (A-->B) or C

(A some/and B) or C

C->(A some/and B)

is there more step to go below this?

So all I can get to is that, if C fails, then some A are not B.