400
Define deductive reasoning and give an example of it