There is a difference between formulating a hypothesis based on observations and treating it as true. As I understood it, things that are not proven yet will not be used to formally prove other things.