Discovering the laws of Detachment and Syllogism and learning how to incorporate them into what we know.