add a fact in venus.txt

Add a fact in venus.txt.