Argue entails/necessarily involves Disagree. 
Insect is related to Cake. Cake can be False. Test can be False. Testing is a form of Test. 
Disagree <--Entails-- Argue 
Insect <--RelatedTo--> Cake --HasProperty--> False <--HasProperty-- Test <--FormOf-- Testing 