Does accepting 'His checked bag was screened for explosives and then loaded on the plane.' as true logically compel one to accept 'The bag he checked was loaded on the plane after being screened for explosives.'
His checked bag was screened for explosives and then loaded on the plane.###The bag he checked was loaded on the plane after being screened for explosives.