Bring is a synonym of Get. Get entails/necessarily involves Calculate. Calculate is a synonym of Direct. 
Proof is related to Logical. 
Bring <--Synonym--> Get --Entails--> Calculate <--Synonym--> Direct 
Proof <--RelatedTo--> Logical 