¬(x≦x)が真になるわけないだろ