已知：所有的四川人都喜欢吃火锅；王五或赵六是四川人；王五不是四川人用归结原理证明：赵六喜欢吃火锅。