矛盾を導くけど背理法ではないというパワーワード