If a presumption needs to be made that a specific result can be deduced from premises, then the result can never be deduced. An inference rule, which is valid (or not), cannot be a premise, which is true (or false), otherwise one