Yes, but the fact that both the driver and the passenger have used the car is a specific fact relating to that instance which doesn't generalize to all transiti

Yes, but the fact that both the driver and the passenger have used the car is a specific fact relating to that instance which doesn't generalize to all transitivity relations -- it's still possible for John to ask Karn to do something which uses the internet and for John to not have used the internet.