Description: A special case where implication appears to conform to a mixed associative law. (Contributed by RP, 29-Feb-2020)