Proof is related to Logical. 
Comprise is etymologically related to Surprise. Comprise is a synonym of Contain. Contain is the opposite of Exclude. 
Proof <--RelatedTo--> Logical 
Surprise <--EtymologicallyRelatedTo-- Comprise <--Synonym--> Contain <--Antonym--> Exclude 