>>499
>>482が解答を出してないようなので漏れの記憶を探ってみるにnot AかつBが真のときAならばBと言える、
と思ったんですがどうでしょうか?