Statistics can Prove. 
Sleep requires Relax. Dream entails/necessarily involves Sleep. Dream is the opposite of Nightmare. 
Statistics --CapableOf--> Prove 
Relax <--HasPrerequisite-- Sleep <--Entails-- Dream <--Antonym--> Nightmare 