例えば仮定A,B,C,Dから結論Eが「導けない事」を示すためには
仮定ABCDを満たすがEを満たさないような例をあげればよい。

「証明も反例も存在しない命題」とかいいう話になると俺にもよくわからん。