... (A --> B) --> C
>
> This means that if A and B ... relationship exists. C is necessary as long as the A and B remain in ... means that if we deny C, A and B do not exist in their ... t have /C, A, B. It's just that the A and B would retain no ..…