A And Not Aは、AがtrueであってもAがfalseであってもfalseになる
これを恒偽(矛盾)と言う
trueを入れたらfalseになりましただから矛盾ですとはいえない
パラメータが取りうる値をすべて入力してすべてのケースでfalseになることを確認しなければいけない