>>239
対偶の否定がどうとか逆は必ずしも真ならずとか