Если человек долго не спит, то он будет чувствовать усталость. (A: человек долго не спит, B: чувствует усталость) - в данном случае импликация верна, но обратная неудовлетворена, так как человек может чувствовать усталость по другим причинам, не связанным с недостатком сна.
Если человек долго не спит, то он будет чувствовать усталость. (A: человек долго не спит, B: чувствует усталость) - в данном случае импликация верна, но обратная неудовлетворена, так как человек может чувствовать усталость по другим причинам, не связанным с недостатком сна.