Bad is similar to Ill. Ill is related to Like. Like is related to Prove. 
Theology is a type of System. Program is a type of System. 
Bad <--SimilarTo--> Ill <--RelatedTo--> Like <--RelatedTo--> Prove 
Theology --IsA--> System <--IsA-- Program 