Math is related to Equal. Equal is related to Formula. Formula is a synonym of Rule. 
Logical is related to Proof. Person wants (to) Proof. Balance is a type of Person. Balance is related to Debt. 
Math <--RelatedTo--> Equal <--RelatedTo--> Formula <--Synonym--> Rule 
Logical <--RelatedTo--> Proof <--Desires-- Person <--IsA-- Balance <--RelatedTo--> Debt 