Reductive Reasoning Example