5.6ex II

These problems may have a subderivation within a subderivation. But the strategy remains as before. Just keep a goal in mind and let that, together with the accessible lines, guide each move you make.